From 8c5e145eb7f4e88fc3f2ecf5e509768818ae6c02 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Mon, 14 Jun 2010 13:41:59 +0000
Subject: [PATCH] Use mkFunTy to ensure that invariants are respected

---
 compiler/types/Coercion.lhs |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
1.7.10.4