X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcUnify.lhs;h=2c20d1f62f7ffe735b4a94eb0a2242086758b442;hb=db5031360e21a654c6457f71df60af26ac205f44;hp=8cd2a0b73890a5ec6683b06da32270d4009380c1;hpb=19334330dc8d6689d2a8d1a4324db0d984f175e0;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcUnify.lhs b/ghc/compiler/typecheck/TcUnify.lhs
index 8cd2a0b..2c20d1f 100644
--- a/ghc/compiler/typecheck/TcUnify.lhs
+++ b/ghc/compiler/typecheck/TcUnify.lhs
@@ -452,7 +452,7 @@ boxyLub orig_ty1 orig_ty2
   = go orig_ty1 orig_ty2
   where
     go (AppTy f1 a1) (AppTy f2 a2) = AppTy (boxyLub f1 f2) (boxyLub a1 a2)
-    go (FunTy f1 a1) (FunTy f2 a2) = AppTy (boxyLub f1 f2) (boxyLub a1 a2)
+    go (FunTy f1 a1) (FunTy f2 a2) = FunTy (boxyLub f1 f2) (boxyLub a1 a2)
     go (TyConApp tc1 ts1) (TyConApp tc2 ts2) 
       | tc1 == tc2, length ts1 == length ts2
       = TyConApp tc1 (zipWith boxyLub ts1 ts2)