patch applied (ghc): Match the type of an Id during rule matching
Simon Peyton Jones
simonpj at microsoft.com
Fri Mar 30 10:01:45 EDT 2007
Fri Mar 30 07:00:33 PDT 2007 simonpj at microsoft.com
* Match the type of an Id during rule matching
Please MERGE to 6.6.1
Consider this RULE
forall (c::Char->Int) (x::Char).
f (c x) = "RULE FIRED"
Well, this should only match on arguments of the specified type
But we simply weren't checking this condition before. Now we are.
Test is simplrun008
M ./compiler/specialise/Rules.lhs -7 +21
More information about the Cvs-ghc