ghc-typelits-natnormalise 0.7.11 → 0.7.12
raw patch · 3 files changed
+15/−42 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- CHANGELOG.md +3/−0
- ghc-typelits-natnormalise.cabal +2/−2
- tests/ErrorTests.hs +10/−40
CHANGELOG.md view
@@ -1,5 +1,8 @@ # Changelog for the [`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise) package +## 0.7.12 *August 22nd 2025*+* Support for GHC 9.10.2+ ## 0.7.11 *March 4th 2025* * Support for GHC 9.12.1
ghc-typelits-natnormalise.cabal view
@@ -1,5 +1,5 @@ name: ghc-typelits-natnormalise-version: 0.7.11+version: 0.7.12 synopsis: GHC typechecker plugin for types of kind GHC.TypeLits.Nat description: A type checker plugin for GHC that can solve /equalities/ and /inequalities/@@ -51,7 +51,7 @@ tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.8, GHC == 9.4.8, GHC == 9.6.6, GHC == 9.8.4, GHC == 9.10.1,- GHC == 9.12.1+ GHC == 9.10.2, GHC == 9.12.1 source-repository head type: git
tests/ErrorTests.hs view
@@ -28,6 +28,10 @@ import Language.Haskell.TH (litE, stringL) import Language.Haskell.TH.Syntax (runIO) +#if __GLASGOW_HASKELL__ >= 901+import qualified Data.Type.Ord+#endif+ testProxy1 :: Proxy (x + 1) -> Proxy (2 + x) testProxy1 = id @@ -191,28 +195,11 @@ testProxy10 = proxyInEq' testProxy10Errors =-#if __GLASGOW_HASKELL__ >= 912- [$(do localeEncoding <- runIO (getLocaleEncoding)- if textEncodingName localeEncoding == textEncodingName utf8- then litE $ stringL "Couldn't match type ‘ghc-internal-9.1201.0:GHC.Internal.Data.Type.Ord.OrdCond"- else litE $ stringL "Couldn't match type `ghc-internal-9.1201.0:GHC.Internal.Data.Type.Ord.OrdCond"- )- ,$(do localeEncoding <- runIO (getLocaleEncoding)- if textEncodingName localeEncoding == textEncodingName utf8- then litE $ stringL "(CmpNat a (a + 2)) True True False’"- else litE $ stringL "(CmpNat a (a + 2)) True True False'"- )- ,$(do localeEncoding <- runIO (getLocaleEncoding)- if textEncodingName localeEncoding == textEncodingName utf8- then litE $ stringL "with ‘False"- else litE $ stringL "with `False"- )- ]-#elif __GLASGOW_HASKELL__ >= 910+#if __GLASGOW_HASKELL__ >= 910 [$(do localeEncoding <- runIO (getLocaleEncoding) if textEncodingName localeEncoding == textEncodingName utf8- then litE $ stringL "Couldn't match type ‘ghc-internal-9.1001.0:GHC.Internal.Data.Type.Ord.OrdCond"- else litE $ stringL "Couldn't match type `ghc-internal-9.1001.0:GHC.Internal.Data.Type.Ord.OrdCond"+ then litE $ stringL "Couldn't match type ‘Data.Type.Ord.OrdCond"+ else litE $ stringL "Couldn't match type `Data.Type.Ord.OrdCond" ) ,$(do localeEncoding <- runIO (getLocaleEncoding) if textEncodingName localeEncoding == textEncodingName utf8@@ -351,28 +338,11 @@ testProxy14 = proxyInEq' testProxy14Errors =-#if __GLASGOW_HASKELL__ >= 912- [$(do localeEncoding <- runIO (getLocaleEncoding)- if textEncodingName localeEncoding == textEncodingName utf8- then litE $ stringL "Couldn't match type ‘ghc-internal-9.1201.0:GHC.Internal.Data.Type.Ord.OrdCond"- else litE $ stringL "Couldn't match type `ghc-internal-9.1201.0:GHC.Internal.Data.Type.Ord.OrdCond"- )- ,$(do localeEncoding <- runIO (getLocaleEncoding)- if textEncodingName localeEncoding == textEncodingName utf8- then litE $ stringL "(CmpNat (2 * a) (4 * a)) True True False’"- else litE $ stringL "(CmpNat (2 * a) (4 * a)) True True False'"- )- ,$(do localeEncoding <- runIO (getLocaleEncoding)- if textEncodingName localeEncoding == textEncodingName utf8- then litE $ stringL "with ‘False"- else litE $ stringL "with `False"- )- ]-#elif __GLASGOW_HASKELL__ >= 910+#if __GLASGOW_HASKELL__ >= 910 [$(do localeEncoding <- runIO (getLocaleEncoding) if textEncodingName localeEncoding == textEncodingName utf8- then litE $ stringL "Couldn't match type ‘ghc-internal-9.1001.0:GHC.Internal.Data.Type.Ord.OrdCond"- else litE $ stringL "Couldn't match type `ghc-internal-9.1001.0:GHC.Internal.Data.Type.Ord.OrdCond"+ then litE $ stringL "Couldn't match type ‘Data.Type.Ord.OrdCond"+ else litE $ stringL "Couldn't match type `Data.Type.Ord.OrdCond" ) ,$(do localeEncoding <- runIO (getLocaleEncoding) if textEncodingName localeEncoding == textEncodingName utf8