Mon Aug 11 03:44:38 PDT 2008 [EMAIL PROTECTED]
* Fix Trac #2494: tcSimplifyRuleLhs
tcSimplifyRuleLhs is a cut-down constraint simplifier, intended for
use in RULE left-hand-sides. But it was written before implication
constraints, and the exmaple of this bug report shows that when higher
rank types are involved we need to be a bit cleverer.
The whole business of simplifying constraints on rule LHSs is a bit
of a hack; but for a good reason. See the comments with tcSimplifyRuleLhs.
This patch at least cures the crash.
M ./compiler/typecheck/TcSimplify.lhs -10 +37
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080811104438-1287e-900c8592caaf3e1f08ccb5a0c8df6aee3a3fece5.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
