diff options
Diffstat (limited to 'compiler/GHC/Core/Coercion.hs-boot')
| -rw-r--r-- | compiler/GHC/Core/Coercion.hs-boot | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/GHC/Core/Coercion.hs-boot b/compiler/GHC/Core/Coercion.hs-boot index 2d90b8e210..0c1f81b7cb 100644 --- a/compiler/GHC/Core/Coercion.hs-boot +++ b/compiler/GHC/Core/Coercion.hs-boot @@ -10,7 +10,6 @@ import {-# SOURCE #-} GHC.Core.TyCon import GHC.Types.Basic ( LeftOrRight ) import GHC.Core.Coercion.Axiom import GHC.Types.Var -import GHC.Types.Var.Set import GHC.Data.Pair import GHC.Utils.Misc @@ -34,7 +33,7 @@ mkKindCo :: Coercion -> Coercion mkSubCo :: HasDebugCallStack => Coercion -> Coercion mkProofIrrelCo :: Role -> Coercion -> Coercion -> Coercion -> Coercion mkAxiomRuleCo :: CoAxiomRule -> [Coercion] -> Coercion -mkZappedCo :: Role -> Type -> Type -> DCoVarSet -> Coercion +mkZappedCo :: Role -> Type -> Type -> FreeCoVarsHoles -> Coercion isGReflCo :: Coercion -> Bool isReflCo :: Coercion -> Bool |