Fix small but egregious error: using un-zonked constraints in simplifyRule

This resulted in double unifications.  Fix is trivial.

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index e25f510..5fc6a5b 100644 (file)
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -523,7 +523,7 @@ simplifyRule name tv_bndrs lhs_wanted rhs_wanted
 
        ; (lhs_results, lhs_binds)
               <- runTcS SimplRuleLhs untch $
-                 solveWanteds emptyInert lhs_wanted
+                 solveWanteds emptyInert zonked_lhs
 
        ; traceTc "simplifyRule" $
          vcat [ text "zonked_lhs"   <+> ppr zonked_lhs