patch applied (ghc): Fix constructor-specialisation bug

Simon Peyton Jones simonpj at microsoft.com
Thu May 4 07:55:40 EDT 2006


Thu May  4 04:21:31 PDT 2006  simonpj at microsoft.com
  * Fix constructor-specialisation bug
  
  The constructor-specialisation optimisation was not dealing with the case
  of 
  	(letrec ... in f) a1 a2
  
  We need to apply constructor specialisation in the letrec; previously
  we were leaving it untouched on the grounds that the function part of
  an application is almost always a variable.
  
  But in fact, float-in immediately precedes SpecConstr, so we can get
  these odd-looking applications.
  
  

    M ./compiler/specialise/SpecConstr.lhs -12 +17


More information about the Cvs-ghc mailing list