Changelog for LeanCheck ======================= v0.9.12 (August 2022) --------------------- * replace enumeration of `Fractional` and `Floating` types by the Calkin-Wilf sequence: - add `listFloating` and `listFractional`; - deprecate `tiersFloating` and `tiersFractional`; * improve the changelog with timestamps and history down to v0.5.0; * normalize code formatting throughout: indentation, spacing and width; * improve testing of LeanCheck itself; * test on GHC 9.2 and 9.4 (works with no changes). v0.9.10 (June 2021) ------------------- * `Test.LeanCheck.Utils.Type`: derive Typeable instances on GHC 7.8. Behaviour on newer GHCs (>= 7.10) versions is unaffected as they automatically derive Typeable instances for all types. v0.9.8 (June 2021) ------------------ * `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.~ _Update:_ these instances were already present on v0.9.6. LeanCheck v0.9.8 is essentially the same as v0.9.6. v0.9.6 (May 2021) ----------------- * 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 (April 2021) ------------------- * 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 (March 2020) ------------------- * improve Haddock documentation * use consistent code format * improve CI scripts and Makefile v0.9.2 (March 2020) ------------------- * 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 (February 2019) ---------------------- * 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 (January 2019) --------------------- * logo for LeanCheck; * `Listable` instances to most types in the Haskell 2010 Language Report: - `Word`; - `Int`; - `Complex`; - etc...; * minor improvements in documentation and README. v0.8.0 (November 2018) ---------------------- * export `tiersFractional` from `Core` and main module; * improve `Listable` instance for `Float`s and `Double`s; * 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 (October 2018) --------------------- * Add a `changelog.md` file with the contents of git tag annotations: `git tag -ln99`. v0.7.6 (October 2018) --------------------- * Add experimental `Test.LeanCheck.Generic` module with automatic derivation of Listable instances through `GHC.Generics`; * Improve Haddock documentation. v0.7.5 (September 2018) ----------------------- * 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 (September 2018) ----------------------- * Add list of providers on README; * Minor fix in haddock. v0.7.3 (August 2018) -------------------- * 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 (August 2018) -------------------- * Significantly improve documentation; * Slightly improve tests. v0.7.1 (July 2018) ------------------ * 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 (December 2017) ---------------------- * 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 (September 2017) ----------------------- 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 (September 2017) ----------------------- * Improve showing of functional counter-examples. v0.6.5 (August 2017) -------------------- * Export ordering from 'Test.LeanCheck.TypeBinding'; * Improve documentation; * Improve tests. v0.6.4 (August 2017) -------------------- * Add and export the `Xs` constructor in `Utils`; * Add type binding operators for up to 12 arguments. v0.6.3 (July 2017) ------------------ * `Test.LeanCheck`: Add the `delay` and `reset` functions; * `Test.LeanCheck.Tiers`: `normalizeT` stripping up to 12 empty tiers; * Some refactoring; * Add lots of new tests for LeanCheck itself. v0.6.2 (March 2017) ------------------- * Improve documentation; * Improve tests of LeanCheck itself (including putting LeanCheck on CI). v0.6.1 (March 2017) ------------------- * `Test.LeanCheck.Error`: export `fromError`; * `Test.LeanCheck.Tiers`: export `mapMaybeT`, `maybeConsN` and `catMaybesT`; * Some code refactoring and internal experiments with function enumeration. v0.6.0 (October 2016) --------------------- * Add `deriveListableCascading`; * Add `Listable` instances for `Word` and `Ordering`; * Improve tests of LeanCheck itself. v0.5.0 (July 2016) ------------------ * Improve documentation; * Rename several functions; * Add several utilities in `Utils`. Earlier versions ---------------- Please refer to the git commit history.