patch applied (ghc): Match the type of an Id during rule matching

[Simon Peyton Jones]

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