singletons-presburger 0.7.1.0 → 0.7.2.0

raw patch · 2 files changed

+37/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Changelog.md +32/−0
• singletons-presburger.cabal +5/−3

@@ -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`

@@ -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 <https://hackage.haskell.org/package/singletons singletons> 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