[Haskell] ANN: SmallCheck 0.4

Colin Runciman colin at cs.york.ac.uk
Tue May 27 06:13:17 EDT 2008

SmallCheck 0.4: another lightweight testing library in Haskell

A new version of SmallCheck can be obtained from:


or alternatively from


The difference from 0.3 is that module SmallCheck is now Test.SmallCheck
and has been cabal-packaged.

SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.

         Folk-law: if there is any case in which a program
         fails, there is almost always a simple one.

         Corollary: if a program does not fail in any
         simple case, it almost never fails.

Other possible sales pitches:
* write test generators for your own types more easily
* be sure any counter-examples found are minimal
* write properties using existentials as well as universals
* establish complete coverage of a defined test-space
* display counter-examples of functional type

Comments and suggestions welcome.

Colin Runciman

More information about the Haskell mailing list