nick8325/quickspec
1
1
Fork 0
mirror of https://github.com/nick8325/quickspec.git synced 2024-09-11 08:35:32 +03:00
Code Issues Projects Releases Wiki Activity

Bump version.

Browse Source
This commit is contained in:
Nick Smallbone 2023-09-21 18:18:25 +02:00
parent 7fa1f8adde
commit b2135ea690
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
changelog
View File

@ -1,3 +1,12 @@
QuickSpec 2.2 (released 2023-09-21)
* Compatibility with more recent GHC versions.
* 'generator' for defining a custom generator for a particular data type.
* 'withMaxFunctions' for limiting the maximum number of function
symbols per term.
* 'withConsistencyCheck' (experimental) for reporting when the
discovered laws imply a false law.
* Improvements to pruning.
QuickSpec 2.1.5 (released 2020-08-31)
* Give =~= an explicit fixity (thanks to Sandy Maguire).
* More Observe instances (thanks to Sandy Maguire).

2
quickspec.cabal
View File

@ -1,5 +1,5 @@
Name: quickspec
Version: 2.1.5
Version: 2.2
Cabal-version: >= 1.10
Build-type: Simple