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


Ignore:
Timestamp:
Oct 24, 2006 3:32:08 PM (7 years ago)
Author:
kirsten
Comment:

--

Legend:

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

    v5 v6  
    3939SMK(SMK(LMX)) 
    4040}}} 
    41 because it's called more than once. (But maybe that's okay? If it instead were: 
    42 {{{ 
    43 let f = \ x. \ y. ... in 
    44   ...(f 1)...(f 3 4)... 
    45 }}} 
    46 then the demand would be: 
    47 {{{ 
    48 SMK(LMX) 
    49 }}} 
    50 and we would know that there was a partial application? Getting confused here.) 
     41because it's called more than once. We really want the demand to reflect that (f 1) is called only once and (f 3) is called only once, but it doesn't. So it doesn't seem like we can figure out what we need to know just by looking at the demand on f.