Changes between Version 3 and Version 4 of Commentary/Compiler/StrictnessAnalysis


Ignore:
Timestamp:
Oct 18, 2006 9:55:01 AM (8 years ago)
Author:
kirsten
Comment:

typo

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StrictnessAnalysis

    v3 v4  
    1818dmdAnal :: SigEnv -> Demand-> CoreExpr -> (DmdType, CoreExpr) 
    1919}}} 
    20 The first argument is an environment mapping variables onto demand signatures. (!ToDo: explain more.) The second time is the demand that's being placed on the expression being analyzed, which was determined from the context already. The third argument is the expression being analyzed. {{{dmdAnal}}} returns a pair of a new expression (possibly with strictness information added to any [wiki:Commentary/Compiler/NameType Ids] in it), and a {{{DmdType}}}. 
     20The first argument is an environment mapping variables onto demand signatures. (!ToDo: explain more.) The second argument is the demand that's being placed on the expression being analyzed, which was determined from the context already. The third argument is the expression being analyzed. {{{dmdAnal}}} returns a pair of a new expression (possibly with strictness information added to any [wiki:Commentary/Compiler/NameType Ids] in it), and a {{{DmdType}}}. 
    2121 
    2222== Important datatypes ==