Changes between Version 1 and Version 5 of Ticket #609


Ignore:
Timestamp:
Nov 12, 2007 1:43:30 PM (6 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #609

    • Property Milestone changed from to _|_
  • Ticket #609 – Description

    v1 v5  
     1If you compile, for example, drvrun014 with -prof -auto-all, you'll see stuff like 
    12{{{ 
    2 If you compile, for example, drvrun014 with -prof -auto-all, you'll see stuff like 
    3  
    43    (scc "c" (dataToTag#)) y 
    5  
     4}}} 
    65This generates bad code, because we end up eta-expaning dataToTag, which allocates an extra function closure.   
    76 
    87We think that in general 
    9  
     8{{{ 
    109   (scc "c" e) y  = scc "c" (e y) 
    11  
    12 to within a small constant factor.  So maybe the simplifier, or CorePrep, or both, should do this transformation. 
    1310}}} 
     11to within a small constant factor.  So maybe the simplifier, or `CorePrep`, or both, should do this transformation.