Commit 8c5e145e authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Use mkFunTy to ensure that invariants are respected

parent 65d94135
......@@ -638,7 +638,7 @@ mkAppTyCoI ty1 coi1 ty2 coi2 =
mkFunTyCoI :: Type -> CoercionI -> Type -> CoercionI -> CoercionI
mkFunTyCoI _ IdCo _ IdCo = IdCo
mkFunTyCoI ty1 coi1 ty2 coi2 =
ACo $ FunTy (fromCoI coi1 ty1) (fromCoI coi2 ty2)
ACo $ mkFunTy (fromCoI coi1 ty1) (fromCoI coi2 ty2)
-- | Smart constructor for quantified 'Coercion's on 'CoercionI', see also 'mkForAllCoercion'
mkForAllTyCoI :: TyVar -> CoercionI -> CoercionI
......
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