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


Ignore:
Timestamp:
Oct 24, 2006 2:44:41 PM (9 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.)