ghc-typelits-natnormalise 0.7.8 → 0.7.9
raw patch · 3 files changed
+9/−6 lines, 3 filesdep ~ghcPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: ghc
API changes (from Hackage documentation)
Files
CHANGELOG.md view
@@ -1,5 +1,8 @@ # Changelog for the [`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise) package +## 0.7.9 *October 10th 2023*+* Support for GHC 9.8.1+ ## 0.7.8 *February 20th 2023* * Try and outright solve substituted constraints, the same as is done with the unsubstituted constraint. Partially Fixes [#65](https://github.com/clash-lang/ghc-typelits-natnormalise/issues/65). * Support for GHC-9.6.0.20230210
ghc-typelits-natnormalise.cabal view
@@ -1,5 +1,5 @@ name: ghc-typelits-natnormalise-version: 0.7.8+version: 0.7.9 synopsis: GHC typechecker plugin for types of kind GHC.TypeLits.Nat description: A type checker plugin for GHC that can solve /equalities/ and /inequalities/@@ -49,8 +49,8 @@ CHANGELOG.md cabal-version: >=1.10 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.6,- GHC == 9.4.4, GHC == 9.6.1+ GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.8,+ GHC == 9.4.7, GHC == 9.6.3, GHC == 9.8.1 source-repository head type: git@@ -68,7 +68,7 @@ GHC.TypeLits.Normalise.Unify build-depends: base >=4.9 && <5, containers >=0.5.7.1 && <0.7,- ghc >=8.0.1 && <9.8,+ ghc >=8.0.1 && <9.10, ghc-tcplugins-extra >=0.3.1, transformers >=0.5.2.0 && < 0.7 if impl(ghc >= 9.0.0)@@ -78,7 +78,7 @@ hs-source-dirs: src if impl(ghc >= 8.0) && impl(ghc < 9.4) hs-source-dirs: src-pre-ghc-9.4- if impl(ghc >= 9.4) && impl(ghc < 9.8)+ if impl(ghc >= 9.4) && impl(ghc < 9.10) hs-source-dirs: src-ghc-9.4 default-language: Haskell2010 other-extensions: CPP
src/GHC/TypeLits/Normalise/Unify.hs view
@@ -251,7 +251,7 @@ reifyProduct :: CoreProduct -> Type reifyProduct (P ps) = let ps' = map reifySymbol (foldr mergeExp [] ps)- in foldr (\t1 t2 -> mkTyConApp typeNatMulTyCon [t1,t2]) (head ps') (tail ps')+ in foldr1 (\t1 t2 -> mkTyConApp typeNatMulTyCon [t1,t2]) ps' where -- "2 ^ -1 * 2 ^ a" must be merged into "2 ^ (a-1)", otherwise GHC barfs -- at the "2 ^ -1" because of the negative exponent.