Changelog for leancheck-0.9.12
Changelog for LeanCheck
v0.9.12 (August 2022)
- replace enumeration of
Fractional
andFloating
types by the Calkin-Wilf sequence:- add
listFloating
andlistFractional
; - deprecate
tiersFloating
andtiersFractional
;
- add
- 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 theA
,B
,C
,D
,E
andF
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
andanyErrorToLeft
onTest.LeanCheck.Error
- add
?==?
and!==!
onTest.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<n>
;Int<n>
;Complex
;- etc...;
- minor improvements in documentation and README.
v0.8.0 (November 2018)
- export
tiersFractional
fromCore
and main module; - improve
Listable
instance forFloat
s andDouble
s; - improve
Show
instance for functions; - improve Haddock documentation;
- remove experimental function enumeration modules,
in favour of the working
ListsOfPairs
enumeration; - add special
String
andChar
types toUtils.Types
; - fix bug in the
Natural
type of theUtils.Types
modules; - force non-negativity in
Natural
andNat
types fromUtils.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 throughGHC.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 inUtils
; - Add type binding operators for up to 12 arguments.
v0.6.3 (July 2017)
Test.LeanCheck
: Add thedelay
andreset
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
: exportfromError
;Test.LeanCheck.Tiers
: exportmapMaybeT
,maybeConsN
andcatMaybesT
;- Some code refactoring and internal experiments with function enumeration.
v0.6.0 (October 2016)
- Add
deriveListableCascading
; - Add
Listable
instances forWord
andOrdering
; - 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.