X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FcoreSyn%2FCoreLint.lhs;fp=compiler%2FcoreSyn%2FCoreLint.lhs;h=c32a3a36d6a2db91a59d8b682991c7ad49a3802e;hp=119b2320cb4d990133e0074ba834ceaa6a31ed46;hb=372a8c47e84ee0de43e9e03d5becb8276a4e148c;hpb=70fb70c59556ef6c1b72ddf60459157d5383c26b

diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs
index 119b232..c32a3a3 100644
--- a/compiler/coreSyn/CoreLint.lhs
+++ b/compiler/coreSyn/CoreLint.lhs
@@ -615,7 +615,7 @@ lintCoercion ty@(AppTy ty1 ty2)
   = do { (s1,t1) <- lintCoercion ty1
        ; (s2,t2) <- lintCoercion ty2
        ; check_co_app ty (typeKind s1) [s2]
-       ; return (AppTy s1 s2, AppTy t1 t2) }
+       ; return (mkAppTy s1 s2, mkAppTy t1 t2) }
 
 lintCoercion ty@(FunTy ty1 ty2) 
   = do { (s1,t1) <- lintCoercion ty1