Changes between Version 7 and Version 8 of Commentary/Compiler/StrictnessAnalysis/KirstenNotes


Ignore:
Timestamp:
Oct 26, 2006 10:20:27 AM (9 years ago)
Author:
kirsten
Comment:

markup

Legend:

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

    v7 v8  
    4141because 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.
    4242
    43 = Linearity ==
     43= Linearity =
    4444The real solution is to distinguish call demands from product demands. Consider again:
    4545{{{