type-natural 1.3.0.0 → 1.3.0.1
raw patch · 3 files changed
+38/−47 lines, 3 filesdep ~ghc-typelits-presburger
Dependency ranges changed: ghc-typelits-presburger
Files
- Changelog.md +5/−0
- src/Data/Type/Natural/Presburger/MinMaxSolver.hs +0/−11
- type-natural.cabal +33/−36
Changelog.md view
@@ -1,5 +1,10 @@ # Changelog +## 1.3.0.1++* Supports GHC 9.8+* Drops support for GHC <9+ ## 1.3.0.0 * Supports GHC 9.6
src/Data/Type/Natural/Presburger/MinMaxSolver.hs view
@@ -10,7 +10,6 @@ import GHC.TypeLits.Presburger.Compat import GHC.TypeLits.Presburger.Types -#if MIN_VERSION_ghc(9,0,0) import GHC.Plugins ( Plugin, fsLit,@@ -19,16 +18,6 @@ splitTyConApp_maybe, ) import GHC.Tc.Plugin-#else-import GhcPlugins- ( Plugin,- fsLit,- mkModuleName,- mkTcOcc,- splitTyConApp_maybe,- )-import TcPluginM-#endif plugin :: Plugin plugin =
type-natural.cabal view
@@ -1,16 +1,14 @@-cabal-version: >=1.10-name: type-natural-version: 1.3.0.0-license: BSD3-license-file: LICENSE-copyright: (C) Hiromi ISHII 2013-2023-maintainer: konn.jinro_at_gmail.com-author: Hiromi ISHII-tested-with:- GHC ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.7 || ==9.4.4 || ==9.6.1--homepage: https://github.com/konn/type-natural-synopsis: Type-level natural and proofs of their properties.+cabal-version: >=1.10+name: type-natural+version: 1.3.0.1+license: BSD3+license-file: LICENSE+copyright: (C) Hiromi ISHII 2013-2023+maintainer: konn.jinro_at_gmail.com+author: Hiromi ISHII+tested-with: GHC ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.3 || ==9.8.1+homepage: https://github.com/konn/type-natural+synopsis: Type-level natural and proofs of their properties. description: Type-level natural numbers and proofs of their properties. .@@ -18,10 +16,9 @@ . __Use 0.5.* with ~ GHC 7.10.3__. -category: Math-build-type: Simple-extra-source-files:- Changelog.md+category: Math+build-type: Simple+extra-source-files: Changelog.md source-repository head type: git@@ -58,7 +55,8 @@ TypeOperators UndecidableInstances - ghc-options: -Wall -fno-warn-orphans+ default-extensions: NoStarIsType+ ghc-options: -Wall -Wno-orphans -Wno-redundant-constraints build-depends: base >=4 && <5 , constraints >=0.3@@ -69,27 +67,27 @@ , integer-logarithms , template-haskell >=2.8 - if impl(ghc >= 9.6)- build-depends: ghc-typelits-presburger >=0.7.2+ if impl(ghc >=9.8)+ build-depends: ghc-typelits-presburger >=0.7.3+ else- if impl(ghc >=9.4)- build-depends: ghc-typelits-presburger >=0.7.1- else- build-depends: ghc-typelits-presburger+ if impl(ghc >=9.6)+ build-depends: ghc-typelits-presburger >=0.7.2 - if impl(ghc >=8.0.0)- ghc-options: -Wno-redundant-constraints+ else+ if impl(ghc >=9.4)+ build-depends: ghc-typelits-presburger >=0.7.1 - if impl(ghc >=8.6)- default-extensions: NoStarIsType+ else+ build-depends: ghc-typelits-presburger test-suite type-natural-test- type: exitcode-stdio-1.0- main-is: test.hs- build-tool-depends: tasty-discover:tasty-discover- hs-source-dirs: tests- default-language: Haskell2010- ghc-options: -Wall+ type: exitcode-stdio-1.0+ main-is: test.hs+ build-tool-depends: tasty-discover:tasty-discover -any+ hs-source-dirs: tests+ default-language: Haskell2010+ ghc-options: -Wall other-modules: Data.Type.Natural.Lemma.OrderSpec Data.Type.Natural.Presburger.Cases@@ -112,5 +110,4 @@ , template-haskell , type-natural - if impl(ghc >=8.6)- default-extensions: NoStarIsType+ default-extensions: NoStarIsType