ghc-typelits-natnormalise 0.5.2 → 0.5.3
raw patch · 3 files changed
+18/−3 lines, 3 filesdep ~ghcPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: ghc
API changes (from Hackage documentation)
Files
- CHANGELOG.md +3/−0
- ghc-typelits-natnormalise.cabal +2/−2
- src/GHC/TypeLits/Normalise.hs +13/−1
CHANGELOG.md view
@@ -1,5 +1,8 @@ # Changelog for the [`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise) package +## 0.5.3 *May 15th 2017*+* Add support for GHC 8.2+ ## 0.5.2 *January 15th 2017* * Fixes bugs: * Reification from SOP to Type sometimes loses product terms
ghc-typelits-natnormalise.cabal view
@@ -1,5 +1,5 @@ name: ghc-typelits-natnormalise-version: 0.5.2+version: 0.5.3 synopsis: GHC typechecker plugin for types of kind GHC.TypeLits.Nat description: A type checker plugin for GHC that can solve /equalities/ of types of kind@@ -63,7 +63,7 @@ GHC.TypeLits.Normalise.SOP, GHC.TypeLits.Normalise.Unify build-depends: base >=4.9 && <5,- ghc >=8.0.1 && <8.2,+ ghc >=8.0.1 && <8.4, ghc-tcplugins-extra >=0.2, integer-gmp >=1.0 && <1.1 hs-source-dirs: src
src/GHC/TypeLits/Normalise.hs view
@@ -38,6 +38,7 @@ To the header of your file. -} +{-# LANGUAGE CPP #-} {-# LANGUAGE LambdaCase #-} {-# LANGUAGE RecordWildCards #-} {-# LANGUAGE TupleSections #-}@@ -70,6 +71,9 @@ mkNomReflCo, mkUnivCo) import TcPluginM (newCoercionHole, newFlexiTyVar) import TcRnTypes (CtEvidence (..), CtLoc, TcEvDest (..), ctLoc)+#if MIN_VERSION_ghc(8,2,0)+import TcRnTypes (ShadowInfo (WDeriv))+#endif import TyCoRep (UnivCoProvenance (..)) import Type (mkPrimEqPred) import TcType (typeKind)@@ -234,4 +238,12 @@ -> PredType -> CoercionHole -> Ct-unifyItemToCt loc pred_type hole = mkNonCanonical (CtWanted pred_type (HoleDest hole) loc)+unifyItemToCt loc pred_type hole =+ mkNonCanonical+ (CtWanted+ pred_type+ (HoleDest hole)+#if MIN_VERSION_ghc(8,2,0)+ WDeriv+#endif+ loc)