diff options
Diffstat (limited to 'compiler/GHC/Core/Coercion.hs-boot')
| -rw-r--r-- | compiler/GHC/Core/Coercion.hs-boot | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/compiler/GHC/Core/Coercion.hs-boot b/compiler/GHC/Core/Coercion.hs-boot index 5d5193306e..0d56cf628c 100644 --- a/compiler/GHC/Core/Coercion.hs-boot +++ b/compiler/GHC/Core/Coercion.hs-boot @@ -45,8 +45,6 @@ coVarRole :: CoVar -> Role mkCoercionType :: Role -> Type -> Type -> Type -data LiftingContext -liftCoSubst :: HasDebugCallStack => Role -> LiftingContext -> Type -> Coercion seqCo :: Coercion -> () coercionKind :: Coercion -> Pair Type |