patch applied (ghc): Fix a bug in rule matching
Simon Peyton Jones
simonpj at microsoft.com
Thu May 4 07:55:43 EDT 2006
Thu May 4 04:24:30 PDT 2006 simonpj at microsoft.com
* Fix a bug in rule matching
The rule matcher uses a "rough-match" pre-filter, which was being too
aggressive. The case looked like this:
rule: f True
expr: case e of x { True -> f x }
Jues because x doesn't immediately look like True, we shouldn't say
"can't match", but that is exactly what ruleCantMatch was doing.
M ./compiler/specialise/Rules.lhs -5 +10
More information about the Cvs-ghc
mailing list