Changelog of @hackage/leancheck 0.9.8

Changelog for LeanCheck

v0.9.8

  • Test.LeanCheck.Utils.Type: Typeable instances on GHC 7.10. Behaviour on newer GHCs (>= 8.0) versions is unaffected as they automatically derive Typeable instances for all types.

v0.9.6

  • no code changes in what is exported by Test.LeanCheck
  • Test.LeanCheck.Utils.Types: export the A, B, C, D, E and F types
  • slightly improve README
  • improve Makefile and tests
  • replace Travis by GitHub Actions as the CI system

v0.9.4

  • no code changes in what is exported by Test.LeanCheck
  • add errorToLeft and anyErrorToLeft on Test.LeanCheck.Error
  • add ?==? and !==! on Test.LeanCheck.Error
  • add Test.LeanCheck.Function.List
  • add Test.LeanCheck.Function.Ord
  • reduce default argument enumeration to 12 on Test.LeanCheck.Function.Eq
  • add FAQ
  • improve Makefile and test scripts

v0.9.3

  • improve Haddock documentation
  • use consistent code format
  • improve CI scripts and Makefile

v0.9.2

  • rename most functions on Test.LeanCheck.Utils.Operators; deprecated names are provided;
  • improve documentation:
    • 100% haddock coverage;
    • LeanCheck memory usage thoroughly documented;
  • implement stub function conditionStatsT;
  • improve function display on Test.LeanCheck.Function.*;
  • fix some compiler warnings (newer GHC);
  • improve build scripts;
  • improve tests;
  • update tests scripts to support the new cabal (test/sdist).

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.