diff options
Diffstat (limited to 'compiler/types/Coercion.hs-boot')
| -rw-r--r-- | compiler/types/Coercion.hs-boot | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/types/Coercion.hs-boot b/compiler/types/Coercion.hs-boot index eb5e81b819..6c7cfb5e68 100644 --- a/compiler/types/Coercion.hs-boot +++ b/compiler/types/Coercion.hs-boot @@ -21,7 +21,6 @@ mkFunCo :: Role -> Coercion -> Coercion -> Coercion mkCoVarCo :: CoVar -> Coercion mkAxiomInstCo :: CoAxiom Branched -> BranchIndex -> [Coercion] -> Coercion mkPhantomCo :: Coercion -> Type -> Type -> Coercion -mkUnsafeCo :: Role -> Type -> Type -> Coercion mkUnivCo :: UnivCoProvenance -> Role -> Type -> Type -> Coercion mkSymCo :: Coercion -> Coercion mkTransCo :: Coercion -> Coercion -> Coercion |