Changes between Version 23 and Version 24 of Commentary/Compiler/StrictnessAnalysis/KirstenNotes


Ignore:
Timestamp:
Dec 21, 2006 6:17:22 AM (8 years ago)
Author:
kirsten
Comment:

--

Legend:

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

    v23 v24  
    104104}}} 
    105105with a strict demand placed on it, it wouldn't be sound to look at {{{f}}}'s demand signature and say that {{{(f x)}}} places a strict demand on {{{x}}} under {{{f}}} -- because we don't know whether {{{f}}} is like (a) or like (b). This is why when we see a partial application of {{{f}}}, we discard all of the argument information in {{{f}}}'s demand type. 
     106 
     107= Nofib stuff = 
     108 
     109I've had weird problems with the {{{time}}} and {{{sed}}} commands under MSYS but I think it's just when running nofib. At some point I wrote down: 
     110TIME needs to be {{{time}}} not {{{/bin/time}}} 
     111and 
     112MSYS {{{sed}}} does not work, use cygwin {{{sed}}} 
     113but of *course* I no longer remember what I meant.