diff options
Diffstat (limited to 'compiler/GHC/Core/Coercion.hs')
| -rw-r--r-- | compiler/GHC/Core/Coercion.hs | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/compiler/GHC/Core/Coercion.hs b/compiler/GHC/Core/Coercion.hs index 4e13e02bc7..861a0002a7 100644 --- a/compiler/GHC/Core/Coercion.hs +++ b/compiler/GHC/Core/Coercion.hs @@ -126,7 +126,13 @@ module GHC.Core.Coercion ( hasCoercionHoleTy, hasCoercionHoleCo, hasThisCoercionHoleTy, - setCoHoleType + setCoHoleType, + + FreeCoVarsHoles, + mkFreeCoVarsHoles, updateFreeCoVars, updateFreeCoVarsM, + sizeFreeCoVarsHoles, + freeCoVars, freeCoHoles, + ) where import {-# SOURCE #-} GHC.CoreToIface (toIfaceTyCon, tidyToIfaceTcArgs) @@ -1337,7 +1343,7 @@ mkProofIrrelCo r kco g1 g2 = mkUnivCo (ProofIrrelProv kco) r (mkCoercionTy g1) (mkCoercionTy g2) -- | TODO (RAE): Comment -mkZappedCo :: Role -> Type -> Type -> DCoVarSet -> Coercion +mkZappedCo :: Role -> Type -> Type -> FreeCoVarsHoles -> Coercion mkZappedCo = ZappedCo {- @@ -2347,7 +2353,7 @@ seqCo (InstCo co arg) = seqCo co `seq` seqCo arg seqCo (KindCo co) = seqCo co seqCo (SubCo co) = seqCo co seqCo (AxiomRuleCo _ cs) = seqCos cs -seqCo (ZappedCo r t1 t2 cvs) = r `seq` seqType t1 `seq` seqType t2 `seq` seqDVarSet cvs +seqCo (ZappedCo r t1 t2 _vs) = r `seq` seqType t1 `seq` seqType t2 seqProv :: UnivCoProvenance -> () seqProv (PhantomProv co) = seqCo co @@ -2776,4 +2782,4 @@ hasThisCoercionHoleTy ty hole = Monoid.getAny (f ty) -- | Set the type of a 'CoercionHole' setCoHoleType :: CoercionHole -> Type -> CoercionHole -setCoHoleType h t = setCoHoleCoVar h (setVarType (coHoleCoVar h) t) +setCoHoleType h t = setCoHoleCoVar h (setVarType (coHoleCoVar h) t)
\ No newline at end of file |