All Versions
Latest Version
Avg Release Cycle
Latest Release

Changelog History
Page 3

  • v0.5 Changes

    ๐Ÿ’„ Make the package build with GHC 7.2. Some cosmetic changes.

  • v0.4 Changes

    ๐Ÿ“ฆ The module SmallCheck is now Test.SmallCheck. Packaged with Cabal.

  • v0.3 Changes

    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.

  • v0.2 Changes

    โœ… 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.

  • v0.1 Changes

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