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


Ignore:
Timestamp:
Oct 24, 2006 2:44:41 PM (8 years ago)
Author:
kirsten
Comment:

--

Legend:

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

    v4 v5  
    2929}}} 
    3030then we can mark the outer two lambdas as being one-shot. Right? 
     31 
     32Not exactly. Suppose: 
     33{{{ 
     34let f = \ x. \ y. ... in 
     35  ...(f 1 2)...(f 3 4)... 
     36}}} 
     37f will have demand on it: 
     38{{{ 
     39SMK(SMK(LMX)) 
     40}}} 
     41because it's called more than once. (But maybe that's okay? If it instead were: 
     42{{{ 
     43let f = \ x. \ y. ... in 
     44  ...(f 1)...(f 3 4)... 
     45}}} 
     46then the demand would be: 
     47{{{ 
     48SMK(LMX) 
     49}}} 
     50and we would know that there was a partial application? Getting confused here.)