[Haskell] ANNOUNCE: QuickCheck 2 development version

Björn Bringert bringert at cs.chalmers.se
Fri Nov 24 08:29:18 EST 2006

This is just a quick announcement that the development version of 
QuickCheck 2 is now available in a public darcs repository.

Some highlights:
- Shrinks failing test cases.
- Supports testing monadic code.
- Handles exceptions gracefully.
- coarbitrary has moved to a separate class, to make it easier
   to write simple instances of Arbitrary.
- Type-level modifiers for changing test data generation
   (e.g. NonNegative).
- Magic function table printing.
- User-defined actions when properties fail.

You can get it with:

darcs get http://www.cs.chalmers.se/~bringert/darcs/QuickCheck/

This is a development version, and the API is not necessarily stable 
yet. It uses the same module names as QuickCheck 1, Test.QuickCheck.*, 
but it breaks backwards compatibility in many cases. Use explicit 
package versioning if you need to use it alongside QuickCheck 1.

You can build the code and API documentation with Cabal, see README for 

Happy hacking!

Koen & Björn

More information about the Haskell mailing list