X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSimplify.lhs;h=8632895b10893c194b036a2ab034c8f7490d6d0c;hb=5b49434484d86b2dfad682d5eb26ef7f3e2e2b56;hp=74952e4c5ed01c58891944edd97cab32aba65b38;hpb=703ca1542c8e0983cc9d8eebce6e9f3dd3fd71e2;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 74952e4..8632895 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -1587,13 +1587,23 @@ Simpler, maybe, but alas not simple (see Trac #2494)
 tcSimplifyRuleLhs :: [Inst] -> TcM ([Inst], TcDictBinds)
 tcSimplifyRuleLhs wanteds
   = do	{ wanteds' <- zonkInsts wanteds
-	; (irreds, binds) <- go [] emptyBag wanteds'
+    	
+		-- Simplify equalities  
+		-- It's important to do this: Trac #3346 for example
+        ; (_, wanteds'', tybinds, binds1) <- tcReduceEqs [] wanteds'
+        ; execTcTyVarBinds tybinds
+
+	  	-- Simplify other constraints
+	; (irreds, binds2) <- go [] emptyBag wanteds''
+
+	  	-- Report anything that is left
 	; let (dicts, bad_irreds) = partition isDict irreds
 	; traceTc (text "tcSimplifyrulelhs" <+> pprInsts bad_irreds)
 	; addNoInstanceErrs (nub bad_irreds)
 		-- The nub removes duplicates, which has
 		-- not happened otherwise (see notes above)
-	; return (dicts, binds) }
+
+	; return (dicts, binds1 `unionBags` binds2) }
   where
     go :: [Inst] -> TcDictBinds -> [Inst] -> TcM ([Inst], TcDictBinds)
     go irreds binds []