Commit 662c8f0c authored by Ben Gamari's avatar Ben Gamari 🐢

Add ghc-typelits-knownnat-0.7.1.patch

parent d8f067c8
diff --git a/src/GHC/TypeLits/KnownNat/Solver.hs b/src/GHC/TypeLits/KnownNat/Solver.hs
index 028ae22..66f5524 100644
--- a/src/GHC/TypeLits/KnownNat/Solver.hs
+++ b/src/GHC/TypeLits/KnownNat/Solver.hs
@@ -142,21 +142,37 @@ import TcPluginM (unsafeTcPluginTcM)
import TcPluginM (zonkCt)
#endif
import TcPluginM (TcPluginM, tcLookupClass, getInstEnvs)
-import TcRnTypes (Ct, TcPlugin(..), TcPluginResult (..), ctEvidence, ctEvLoc,
+import TcRnTypes (TcPlugin(..), TcPluginResult(..))
+#if MIN_VERSION_ghc(8,9,0)
+import Constraint (Ct, ctEvidence, ctEvLoc, ctEvPred, ctEvExpr, ctLoc,
+ ctLocSpan, isWanted, setCtLoc, setCtLocSpan, mkNonCanonical)
+#else
+import TcRnTypes (Ct, ctEvidence, ctEvLoc, ctEvPred, ctEvExpr, ctLoc,
+ ctLocSpan, isWanted, setCtLoc, setCtLocSpan)
+import TcRnTypes (mkNonCanonical)
#if MIN_VERSION_ghc(8,5,0)
- ctEvPred, ctEvExpr, ctLoc, ctLocSpan, isWanted,
+import TcRnTypes (ctEvExpr)
#else
- ctEvPred, ctEvTerm, ctLoc, ctLocSpan, isWanted,
+import TcRnTypes (ctEvTerm)
+#endif
#endif
- mkNonCanonical, setCtLoc, setCtLocSpan)
import TcTypeNats (typeNatAddTyCon, typeNatSubTyCon)
#if MIN_VERSION_ghc(8,4,0)
import TcTypeNats (typeNatDivTyCon)
#endif
+#if MIN_VERSION_ghc(8,9,0)
+import Predicate
+ (EqRel (NomEq), Pred (ClassPred,EqPred), classifyPredType)
+import Type
+ (dropForAlls, eqType, funResultTy, mkNumLitTy, mkStrLitTy, mkTyConApp,
+ piResultTys, splitFunTys, splitTyConApp_maybe, tyConAppTyCon_maybe, typeKind,
+ PredType)
+#else
import Type
(EqRel (NomEq), PredTree (ClassPred,EqPred), PredType, classifyPredType,
dropForAlls, eqType, funResultTy, mkNumLitTy, mkStrLitTy, mkTyConApp,
piResultTys, splitFunTys, splitTyConApp_maybe, tyConAppTyCon_maybe, typeKind)
+#endif
import TyCon (tyConName)
import TyCoRep (Type (..), TyLit (..))
#if MIN_VERSION_ghc(8,6,0)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment