NOTICE: This package has been removed from pkgsrc

./wip/hs-QuickCheck, Automatic testing of Haskell programs

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ]


Branch: CURRENT, Version: 2.7.3, Package name: hs-QuickCheck-2.7.3, Maintainer: pho

QuickCheck is a library for random testing of program properties.

The programmer provides a specification of the program, in the form of
properties which functions should satisfy, and QuickCheck then tests
that the properties hold in a large number of randomly generated
cases.

Specifications are expressed in Haskell, using combinators defined in
the QuickCheck library. QuickCheck provides combinators to define
properties, observe the distribution of test data, and define test
data generators.


Required to run:
[wip/ghc] [devel/hs-random] [devel/hs-tf-random]

Master sites:

SHA1: 22d5564deefe730f9498dbb10db27557277c3bd1
RMD160: 2425ddb1805062257fa6694f4599d58b4ca4bb94
Filesize: 32.873 KB

Version history: (Expand)


CVS history: (Expand)


   2015-02-14 05:39:04 by PHO / phonohawk | Files touched by this commit (5) | Package removed
Log message:
Moved to devel/hs-QuickCheck

   2014-08-29 16:09:59 by Ryosuke Moro | Files touched by this commit (104)
Log message:
make it clear what package depend on

discussed with wiz@.
   2014-05-29 00:05:59 by Ryosuke Moro | Files touched by this commit (14)
Log message:
Remove hs-nats, imported to pkgsrc/math.
Remove hs-tf-random, imported to pkgsrc/devel.
   2014-05-21 23:04:42 by Ryosuke Moro | Files touched by this commit (97)
Log message:
Remove hs-network, imported to pkgsrc/net.
Remove hs-random, hs-syb, imported to pkgsrc/devel.
Remove hs-x11, imported to pkgsrc/x11.
   2014-05-07 01:51:11 by Ryosuke Moro | Files touched by this commit (4)
Log message:
Update to 2.7.3

changelog:
QuickCheck 2.7.3 (released 2014-03-24)
	* Add annotations for Safe Haskell.

QuickCheck 2.7.2 (released 2014-03-22)
	* Fix bug in cabal file which broke cabal test

QuickCheck 2.7.1 (released 2014-03-20)
	* Fixed bug - the Small modifier didn't work on unsigned types
	* Changed arbitrarySizedIntegral to have an Integral constraint
	  instead of just Num

QuickCheck 2.7 (released 2014-03-19)

	* New features:
		* New genericShrink function provides generic shrinking with GHC.
		* New combinator x === y: fails if x /= y, but also prints their values
		* New function generate :: Gen a -> IO a for running a generator.
		* New combinators infiniteList and infiniteListOf for generating infinite lists.
		* Several combinators added to the main Test.QuickCheck module which
		  were previously languishing in other modules. Of particular interest:
		  quickCheckAll, ioProperty.
		* New combinators delay and capture which can be used (unsafely!)
		  to reuse the random number seed. Useful for generating
		  polymorphic (rank-2) values.
		* A new Discard data type and a Testable instance for discarding test cases.
		* All modifiers now have Functor instances and accessor functions.
		* Pressing ctrl-C during shrinking now shows the last failed
		  test case, rather than the current shrinking candidate.
		* Experimental support for UHC. You will need the latest version of Cabal from git.

	* Better distribution of test data:
		* The Int generator now only generates fairly small numbers.
		* The new Small and Large modifiers control the distribution of integers
		  (Small generates small numbers, Large from the whole range).
		* Floating-point numbers shrink better.

	* Improved random number generation:
		* QuickCheck now uses TFGen rather than StdGen on newer versions
		  of GHC, because StdGen's random numbers aren't always random.
		* 'variant' now uses a prefix code. This should prevent some
		  potential bananaskins with coarbitrary.

	* API changes:
		* The Gen monad now uses an abstract type QCGen rather than StdGen.
		* The Result type now returns the thrown exception and number
		  of failed shrink attempts.
		* Property is now a newtype rather than Gen Prop as it was before.
		* promote is moved into the new module Test.QuickCheck.Gen.Unsafe.
		* 'printTestCase' is deprecated - its new name is 'counterexample'
		* 'morallyDubiousIOProperty' is deprecated - its new name is
		  'ioProperty', no moral judgement involved :)
   2014-04-15 12:59:40 by Ryosuke Moro | Files touched by this commit (53)
Log message:
- ready for HASKELL_ENABLE_HADDOCK_DOCUMENTATION= yes
   2013-09-02 14:07:49 by Ryosuke Moro | Files touched by this commit (3)
Log message:
Update to 2.6

changelog:
QuickCheck (2.6) 2013-03-07
	* Add convenience Function instances for up to 7-tuples
	* Make stderr line buffered to reduce console I/O.
	* Return a flag to say whether the test case was interrupted.
   2013-01-15 10:24:49 by PHO / phonohawk | Files touched by this commit (3) | Package updated
Log message:
Upstream update to QuickCheck-2.5.1.1