singletons-presburger 0.3.0.1 → 0.4.0.0
raw patch · 1 files changed
+3/−3 lines, 1 filesdep ~ghc-typelits-presburgerPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: ghc-typelits-presburger
API changes (from Hackage documentation)
Files
singletons-presburger.cabal view
@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: b271b824f909f5d2533590977ec2a9e9d107034176402483ca143b699d7d46cd+-- hash: 23033bfe49a2dac012b73e07213833c1ab32b4713b0a4cc1d4a4b772f8b74f5f name: singletons-presburger-version: 0.3.0.1+version: 0.4.0.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.@@ -47,7 +47,7 @@ build-depends: base >=4.7 && <5 , ghc >=7.10 && <8.11- , ghc-typelits-presburger+ , ghc-typelits-presburger >=0.4 , reflection , singletons default-language: Haskell2010