ghc-typelits-natnormalise 0.9.5 → 0.9.6
raw patch · 3 files changed
+11/−7 lines, 3 filesdep ~ghc-tcplugin-apidep ~transformersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: ghc-tcplugin-api, transformers
API changes (from Hackage documentation)
+ GHC.TypeLits.Normalise.Compat: instance (GHC.Classes.Eq k, GHC.Classes.Eq a) => GHC.Classes.Eq (GHC.TypeLits.Normalise.Compat.UniqMap k a)
+ GHC.TypeLits.Normalise.Compat: instance GHC.Base.Functor (GHC.TypeLits.Normalise.Compat.UniqMap k)
- GHC.TypeLits.Normalise.Compat: lookupTyCons :: TcPluginM 'Init LookedUpTyCons
+ GHC.TypeLits.Normalise.Compat: lookupTyCons :: TcPluginM Init LookedUpTyCons
- GHC.TypeLits.Normalise.Unify: unifyNats :: Ct -> CoreSOP -> CoreSOP -> TcPluginM 'Solve UnifyResult
+ GHC.TypeLits.Normalise.Unify: unifyNats :: Ct -> CoreSOP -> CoreSOP -> TcPluginM Solve UnifyResult
Files
- CHANGELOG.md +3/−0
- ghc-typelits-natnormalise.cabal +3/−3
- src/GHC/TypeLits/Normalise.hs +5/−4
CHANGELOG.md view
@@ -1,5 +1,8 @@ # Changelog for the [`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise) package +## 0.9.6 *May 13th 2026*+* Bump ghc-tcplugin-api to prepare for inclusion into stackage+ ## 0.9.5 *March 19th 2026* * Make the test suite not emit compile warnings
ghc-typelits-natnormalise.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: ghc-typelits-natnormalise-version: 0.9.5+version: 0.9.6 synopsis: GHC typechecker plugin for types of kind GHC.TypeLits.Nat description: A type checker plugin for GHC that can solve /equalities/ and /inequalities/@@ -70,8 +70,8 @@ build-depends: base >=4.9 && <5, containers >=0.5.7.1 && <0.9, ghc >=8.8.1 && <9.15,- ghc-tcplugin-api >=0.18.2 && <0.19,- transformers >=0.5.2.0 && < 0.7+ ghc-tcplugin-api >=0.19 && <0.20,+ transformers >=0.5.2 && < 0.7 if impl(ghc >= 9.0.0) build-depends: ghc-bignum >=1.0 && <1.5 else
src/GHC/TypeLits/Normalise.hs view
@@ -247,10 +247,11 @@ normalisePlugin :: Opts -> TcPlugin normalisePlugin opts =- TcPlugin { tcPluginInit = lookupExtraDefs- , tcPluginSolve = decideEqualSOP opts- , tcPluginRewrite = const emptyUFM- , tcPluginStop = const (return ())+ TcPlugin { tcPluginInit = lookupExtraDefs+ , tcPluginSolve = decideEqualSOP opts+ , tcPluginRewrite = const emptyUFM+ , tcPluginPostTc = const (return ())+ , tcPluginShutdown = const (return ()) } data ExtraDefs