ghc-typelits-knownnat 0.8.2 → 0.8.3
raw patch · 3 files changed
+5/−10 lines, 3 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- GHC.TypeLits.KnownNat: instance (GHC.TypeLits.KnownNat.KnownBool a, GHC.TypeNats.KnownNat b, GHC.TypeNats.KnownNat c) => GHC.TypeLits.KnownNat.KnownNat2Bool "Data.Type.Bool.If" a b c
- GHC.TypeLits.KnownNat: instance (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b) => GHC.TypeLits.KnownNat.KnownBoolNat2 "Data.Type.Ord.<=?" a b
- GHC.TypeLits.KnownNat: instance (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b) => GHC.TypeLits.KnownNat.KnownBoolNat2 "Data.Type.Ord.OrdCond" a b
- GHC.TypeLits.KnownNat: instance (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.TypeNats.*" a b
- GHC.TypeLits.KnownNat: instance (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.TypeNats.+" a b
- GHC.TypeLits.KnownNat: instance (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.TypeNats.^" a b
- GHC.TypeLits.KnownNat: instance (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b, (b Data.Type.Ord.<= a) GHC.Types.~ (() :: Constraint)) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.TypeNats.-" a b
- GHC.TypeLits.KnownNat: instance (GHC.TypeNats.KnownNat x, GHC.TypeNats.KnownNat y, 1 Data.Type.Ord.<= y) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.TypeNats.Div" x y
- GHC.TypeLits.KnownNat: instance (GHC.TypeNats.KnownNat x, GHC.TypeNats.KnownNat y, 1 Data.Type.Ord.<= y) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.TypeNats.Mod" x y
+ GHC.TypeLits.KnownNat: instance (GHC.Internal.TypeNats.KnownNat a, GHC.Internal.TypeNats.KnownNat b) => GHC.TypeLits.KnownNat.KnownBoolNat2 "GHC.Internal.Data.Type.Ord.<=?" a b
+ GHC.TypeLits.KnownNat: instance (GHC.Internal.TypeNats.KnownNat a, GHC.Internal.TypeNats.KnownNat b) => GHC.TypeLits.KnownNat.KnownBoolNat2 "GHC.Internal.Data.Type.Ord.OrdCond" a b
+ GHC.TypeLits.KnownNat: instance (GHC.Internal.TypeNats.KnownNat a, GHC.Internal.TypeNats.KnownNat b) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.Internal.TypeNats.*" a b
+ GHC.TypeLits.KnownNat: instance (GHC.Internal.TypeNats.KnownNat a, GHC.Internal.TypeNats.KnownNat b) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.Internal.TypeNats.+" a b
+ GHC.TypeLits.KnownNat: instance (GHC.Internal.TypeNats.KnownNat a, GHC.Internal.TypeNats.KnownNat b) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.Internal.TypeNats.^" a b
+ GHC.TypeLits.KnownNat: instance (GHC.Internal.TypeNats.KnownNat a, GHC.Internal.TypeNats.KnownNat b, b GHC.Internal.Data.Type.Ord.<= a) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.Internal.TypeNats.-" a b
+ GHC.TypeLits.KnownNat: instance (GHC.Internal.TypeNats.KnownNat x, GHC.Internal.TypeNats.KnownNat y, 1 GHC.Internal.Data.Type.Ord.<= y) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.Internal.TypeNats.Div" x y
+ GHC.TypeLits.KnownNat: instance (GHC.Internal.TypeNats.KnownNat x, GHC.Internal.TypeNats.KnownNat y, 1 GHC.Internal.Data.Type.Ord.<= y) => GHC.TypeLits.KnownNat.KnownNat2 "GHC.Internal.TypeNats.Mod" x y
+ GHC.TypeLits.KnownNat: instance (GHC.TypeLits.KnownNat.KnownBool a, GHC.Internal.TypeNats.KnownNat b, GHC.Internal.TypeNats.KnownNat c) => GHC.TypeLits.KnownNat.KnownNat2Bool "GHC.Internal.Data.Type.Bool.If" a b c
Files
- CHANGELOG.md +3/−0
- ghc-typelits-knownnat.cabal +2/−2
- src/GHC/TypeLits/KnownNat.hs +0/−8
CHANGELOG.md view
@@ -1,5 +1,8 @@ # Changelog for the [`ghc-typelits-knownnat`](http://hackage.haskell.org/package/ghc-typelits-knownnat) package +## 0.8.3 *March 20th 2026*+* Unfix -fdefer-type-errors regression as it caused more regressions+ ## 0.8.2 *October 17th 2025* * Fix -fdefer-type-errors regression
ghc-typelits-knownnat.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: ghc-typelits-knownnat-version: 0.8.2+version: 0.8.3 synopsis: Derive KnownNat constraints from other KnownNat constraints description: A type checker plugin for GHC that can derive \"complex\" @KnownNat@@@ -51,7 +51,7 @@ 2017 , Google Inc. category: Type System build-type: Simple-extra-source-files: README.md+extra-doc-files: README.md CHANGELOG.md tested-with: 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,
src/GHC/TypeLits/KnownNat.hs view
@@ -134,10 +134,6 @@ ( If ) import GHC.Exts ( Proxy# )-#if __GLASGOW_HASKELL__ >= 904-import GHC.Exts- ( Constraint )-#endif import GHC.TypeLits ( Symbol ) import GHC.TypeNats@@ -210,11 +206,7 @@ {-# NOINLINE natSing2 #-} -- | 'KnownNat2' instance for "GHC.TypeLits"' 'GHC.TypeLits.-'-#if __GLASGOW_HASKELL__ >= 904-instance (KnownNat a, KnownNat b, (b <= a) ~ (() :: Constraint)) => KnownNat2 $(nameToSymbol ''(-)) a b where-#else instance (KnownNat a, KnownNat b, b <= a) => KnownNat2 $(nameToSymbol ''(-)) a b where-#endif natSing2 = SNatKn (natVal (Proxy @a) - natVal (Proxy @b)) {-# NOINLINE natSing2 #-}