Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: =?ISO-8859-1?Q?Bj=F6rn_Bringert?= <bringert <at> cs.chalmers.se>
Subject: ANNOUNCE: QuickCheck 2 development version
Newsgroups: gmane.comp.lang.haskell.general
Date: Friday 24th November 2006 13:29:18 UTC (over 10 years ago)
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 
instructions.


Happy hacking!

Koen & Björn
 
CD: 4ms