Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/73b16e3401d4fba1d0fec4af092e89efb8ff4d55 >--------------------------------------------------------------- commit 73b16e3401d4fba1d0fec4af092e89efb8ff4d55 Author: [email protected] <unknown> Date: Fri Feb 11 17:38:35 2011 +0000 Fix small but egregious error: using un-zonked constraints in simplifyRule This resulted in double unifications. Fix is trivial. >--------------------------------------------------------------- compiler/typecheck/TcSimplify.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs index e25f510..5fc6a5b 100644 --- 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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
