From: simonpj@microsoft.com <unknown>
Date: Mon, 14 Jun 2010 13:41:59 +0000 (+0000)
Subject: Use mkFunTy to ensure that invariants are respected
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=8c5e145eb7f4e88fc3f2ecf5e509768818ae6c02

Use mkFunTy to ensure that invariants are respected
---

diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index 6d58e5f..794613b 100644
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -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