Changelog for smallcheck-1.2.1

Changes

Version 1.2.1

Version 1.2.0

Version 1.1.7

Version 1.1.6

Version 1.1.5

Version 1.1.4

Version 1.1.3.1

Version 1.1.3

Version 1.1.2

Version 1.1.1

Export some auxiliary functions from T.S.Series, and document how to express consN and altsN for N > 4.

Version 1.1.0.1

Documentation fixes

Version 1.1

Version 1.0.4

Fix compatibility with GHC 7.4.1

Version 1.0.3

Fix a bug where no test cases were generated for some functional types (#19).

Version 1.0.2

Fix a bug in the generic instance

Version 1.0.1

Make SmallCheck build with GHC 7.4

Version 1.0

This is a major incompatible release of SmallCheck. Virtually every function has changed its name, type, semantics or module. So please carefully read the docs when upgrading.

For some highlights, see this blog post.

Version 0.6.2

Version 0.6.1

Version 0.6

Version 0.5

Make the package build with GHC 7.2. Some cosmetic changes.

Version 0.4

The module SmallCheck is now Test.SmallCheck. Packaged with Cabal.

Version 0.3

Existential quantifiers now have unique variants for which two witnesses are reported when uniqueness fails. The over-generating coseries method for functions of functional arguments has been replaced; now 'coseries' and the 'alts' family take a series argument. Test counters are now Integers, not Ints. Ord and Eq are now derived for the N types. Examples extended.

Version 0.2

The 'smallCheck' driver now takes an argument d and runs test series at depths 0..d without interaction, stopping if any test fails. The interactive variant is still available as 'smallCheckI'. All Prelude numeric types now have Serial instances, including floating-point types. Serial types Nat and Natural are also defined. Examples extended.

Version 0.1

The differences from 0.0 are two fixes (space-fault, output buffering), an 'unsafe' but sometimes useful Testable (IO a) instance and additional examples.