From: simonpj@microsoft.com <unknown>
Date: Fri, 27 Jan 2006 17:45:36 +0000 (+0000)
Subject: Fix typo in boxy matching
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=db5031360e21a654c6457f71df60af26ac205f44

Fix typo in boxy matching
---

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)