ghc-typelits-extra 0.2.5 → 0.2.6
raw patch · 5 files changed
+23/−7 lines, 5 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-extra.cabal +3/−3
- src/GHC/TypeLits/Extra/Solver.hs +10/−1
- tests/ErrorTests.hs +3/−1
- tests/Main.hs +4/−2
CHANGELOG.md view
@@ -1,5 +1,8 @@ # Changelog for the [`ghc-typelits-extra`](http://hackage.haskell.org/package/ghc-typelits-extra) package +# 0.2.6 *Julty 10th 2018*+* Add support for GHC-8.6.1-alpha1+ # 0.2.5 *May 9th 2018* * Add support for ghc-typelits-natnormalise-0.6
ghc-typelits-extra.cabal view
@@ -1,5 +1,5 @@ name: ghc-typelits-extra-version: 0.2.5+version: 0.2.6 synopsis: Additional type-level operations on GHC.TypeLits.Nat description: Additional type-level operations on @GHC.TypeLits.Nat@:@@ -48,7 +48,7 @@ CHANGELOG.md cabal-version: >=1.10 tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.1, GHC == 8.4.2,- GHC == 8.5.0+ GHC == 8.6 source-repository head type: git@@ -66,7 +66,7 @@ other-modules: GHC.TypeLits.Extra.Solver.Unify GHC.TypeLits.Extra.Solver.Operations build-depends: base >= 4.8 && <5,- ghc >= 7.10 && <8.6,+ ghc >= 7.10 && <8.8, ghc-prim >= 0.5 && <1.0, ghc-tcplugins-extra >= 0.2, ghc-typelits-knownnat >= 0.5 && <0.6,
src/GHC/TypeLits/Extra/Solver.hs view
@@ -35,6 +35,9 @@ import OccName (mkTcOcc) import Outputable (Outputable (..), (<+>), ($$), text) import Plugins (Plugin (..), defaultPlugin)+#if MIN_VERSION_ghc(8,6,0)+import Plugins (purePlugin)+#endif import TcEvidence (EvTerm) import TcPluginM (TcPluginM, tcLookupTyCon, tcPluginTrace, zonkCt) import TcRnTypes (Ct, TcPlugin(..), TcPluginResult (..), ctEvidence, ctEvPred,@@ -80,7 +83,13 @@ -- -- To the header of your file. plugin :: Plugin-plugin = defaultPlugin { tcPlugin = const $ Just normalisePlugin }+plugin+ = defaultPlugin+ { tcPlugin = const $ Just normalisePlugin+#if MIN_VERSION_ghc(8,6,0)+ , pluginRecompile = purePlugin+#endif+ } normalisePlugin :: TcPlugin normalisePlugin = tracePlugin "ghc-typelits-extra"
tests/ErrorTests.hs view
@@ -1,5 +1,7 @@ {-# LANGUAGE CPP, DataKinds, TypeOperators, TypeApplications, TypeFamilies, TemplateHaskell #-}-+#if __GLASGOW_HASKELL__ >= 805+{-# LANGUAGE NoStarIsType #-}+#endif {-# OPTIONS_GHC -fdefer-type-errors #-} {-# OPTIONS_GHC -fplugin GHC.TypeLits.Normalise #-} {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}
tests/Main.hs view
@@ -1,5 +1,7 @@-{-# LANGUAGE DataKinds, TypeOperators, TypeApplications, TypeFamilies #-}-+{-# LANGUAGE CPP, DataKinds, TypeOperators, TypeApplications, TypeFamilies #-}+#if __GLASGOW_HASKELL__ >= 805+{-# LANGUAGE NoStarIsType #-}+#endif {-# OPTIONS_GHC -fplugin GHC.TypeLits.Normalise #-} {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-} {-# OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver #-}