From db5031360e21a654c6457f71df60af26ac205f44 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Fri, 27 Jan 2006 17:45:36 +0000 Subject: [PATCH] Fix typo in boxy matching --- ghc/compiler/typecheck/TcUnify.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 1.7.10.4