patch applied (ghc): Make record selection look cheap

Simon Peyton Jones simonpj at microsoft.com
Wed Sep 6 15:25:08 EDT 2006


Wed Sep  6 04:52:42 PDT 2006  simonpj at microsoft.com
  * Make record selection look cheap
  
  exprIsCheap was already making record selection look cheap, esp for
  dictionary selection; e.g.
     (==) dEq
  
  The idea is to allow those record selections to migrate inside a
  lambda, because on the whole it's more expensive to share than 
  repeat them.
  
  But sometimes dictionary selection is nested; e.g.
     (==) ($p1Num dNum)
  
  This turned out to make a (fragile) rewrite rule fire a little
  more robustly, but it seems like a good idea in any case.
  
  This patch makes nested record selections also look cheap.
  

    M ./compiler/coreSyn/CoreUtils.lhs -1 +1


More information about the Cvs-ghc mailing list