Changelog for LeanCheck

v0.9.1

• fix bug in genericTiers where using it bound to a recursive datatype could cause an infinite loop;
• minor improvements in documentation and tests.

v0.9.0

• logo for LeanCheck;
• Listable instances to most types in the Haskell 2010 Language Report:
  • Word<n>;
  • Int<n>;
  • Complex;
  • etc...;
• minor improvements in documentation and README.

v0.8.0

• export tiersFractional from Core and main module;
• improve Listable instance for Floats and Doubles;
• improve Show instance for functions;
• improve Haddock documentation;
• remove experimental function enumeration modules, in favour of the working ListsOfPairs enumeration;
• add special String and Char types to Utils.Types;
• fix bug in the Natural type of the Utils.Types modules;
• force non-negativity in Natural and Nat types from Utils.Types;
• rename some exported symbols in the ShowFunction module;
• improve tests of LeanCheck itself.

v0.7.7

• Add a changelog.md file with the contents of git tag annotations: git tag -ln99.

v0.7.6

• Add experimental Test.LeanCheck.Generic module with automatic derivation of Listable instances through GHC.Generics;
• Improve Haddock documentation.

v0.7.5

• Fix tests on systems with case-insensitive filesystems, like:
  • Windows;
  • Mac OS;
• Fix tests on GHC 8.6.

This release fixes just the tests of LeanCheck itself. The LeanCheck library is otherwise unaffected.

v0.7.4

• Add list of providers on README;
• Minor fix in haddock.

v0.7.3

• Fix bug: add missing Hugs backport file to source distribution (GHC users were not affected by this);
• Improve tests so I don't forget to include files in the source distribution (cabal sdist) again.

v0.7.2

• Significantly improve documentation;
• Slightly improve tests.

v0.7.1

• LeanCheck now works on Hugs-200607 (only minor changes were needed);
• Implement functions that calculate statistics: Test.LeanCheck.Stats;
• More stuff on Utils: rational, okNum;
• Improve tests;
• Improve build scripts;
• Minor assorted fixes.

v0.7.0

• Improved cabal file;
• Cabal package now has all files checked in on git repo;
• Add functions to compute Listable statistics (and some stubs);
• Improve tests;
• Code improvements (refactoring).

v0.6.7

The only change in relation to v0.6.6 is a fixed build on Travis (the reference output files were outdated). The code of the tool is otherwise unchanged.

v0.6.6

• Improve showing of functional counter-examples.

v0.6.5

• Export ordering from 'Test.LeanCheck.TypeBinding';
• Improve documentation;
• Improve tests.

Earlier versions

Please refer to the git commit history.