diff --git a/Changelog.md b/Changelog.md new file mode 100644 --- /dev/null +++ b/Changelog.md @@ -0,0 +1,32 @@ +# Changelog + +## 0.7.2.0 + +* Supports GHC 9.6 + +## 0.7.1.0 + +* Proper Support of GHC 9.4 (Now can solve `Assert` properly) + +## 0.7.0.0 + +* Support GHC 9.4 +* The plugin can solve constraints involving type-level `Assert`, `Not`, `(&&)`, `(||)`, and/or `If` from new base. + +## 0.6.0.0 + +* Stop discharging redundant constraints +* Support GHC 9.0.1 +* Drop a support for GHC <8.6 + +## 0.4.0.0 + +* Fixes constraint solving (fixes #9); this may change the previous (unsound) behaviour, and hence it is breaking change. + +## 0.3.0.1 + +* Supports GHC >= 8.10. + +## 0.3.0.0 + +* Initial release: separated singletons support from `ghc-typelits-presburger` diff --git a/singletons-presburger.cabal b/singletons-presburger.cabal --- a/singletons-presburger.cabal +++ b/singletons-presburger.cabal @@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack -- --- hash: be0aef5a0b3999542d4e4f088b572561ffc94272dc9430df243fecef1b67c8da +-- hash: 2213630b253991041dc53ede5bf5b932e53a94af97c45f489ffe5958a28071d1 name: singletons-presburger -version: 0.7.1.0 +version: 0.7.2.0 synopsis: Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. description: The @singletons-presburger@ plugin augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers, with integration with package. @@ -25,7 +25,9 @@ license: BSD3 license-file: LICENSE tested-with: - GHC==8.6.5 GHC==8.8.4 GHC==8.10.7 GHC==9.0.2 GHC==9.2.4 GHC==9.4.3 + GHC==8.6.5 GHC==8.8.4 GHC==8.10.7 GHC==9.0.2 GHC==9.2.7 GHC==9.4.4 GHC==9.6.1 +extra-source-files: + Changelog.md build-type: Simple source-repository head