Changes between Version 3 and Version 4 of Commentary/Compiler/StrictnessAnalysis/KirstenNotes


Ignore:
Timestamp:
Oct 24, 2006 2:35:01 PM (7 years ago)
Author:
kirsten
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StrictnessAnalysis/KirstenNotes

    v3 v4  
    1717 
    1818This might work, but is kind of kludgy. 
     19 
     20This may be ''way'' too unnecessarily complicated. Can't we just get the same information from the demand on f in the free-var environment of the let body as it is, without changing the environment? 
     21 
     22suppose the demand on f is 
     23{{{ 
     24S1K(S1K(LMX)) 
     25}}} 
     26if f =  
     27{{{ 
     28(\ x. (\ y. ...)) 
     29}}} 
     30then we can mark the outer two lambdas as being one-shot. Right?