-
Simon Peyton Jones authored
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.
c276b9b6