Commit 73b16e34 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

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

This resulted in double unifications.  Fix is trivial.
parent 1ddce518
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment