From a12d2d74ef1d05b6815906ea5d29b79249191383 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Fri, 27 Apr 2007 15:41:31 +0000
Subject: [PATCH] Fix egregious typo in TcUnify

Tom S found this bug by inspection; we've never seen it
fail in the wild, but it was obviosly Utterly Wrong
---
 compiler/typecheck/TcUnify.lhs |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index dac7803..e1b4bd4 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -526,7 +526,7 @@ boxyLub orig_ty1 orig_ty2
 
 	-- Look inside type synonyms, but only if the naive version fails
     go ty1 ty2 | Just ty1' <- tcView ty1 = go ty1' ty2
-	       | Just ty2' <- tcView ty1 = go ty1 ty2'
+	       | Just ty2' <- tcView ty2 = go ty1 ty2'
 
     -- For now, we don't look inside ForAlls, PredTys
     go ty1 ty2 = orig_ty1	-- Default
-- 
1.7.10.4