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


Ignore:
Timestamp:
Oct 18, 2006 9:54:46 AM (7 years ago)
Author:
kirsten
Comment:

correct type of dmdAnal

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StrictnessAnalysis

    v2 v3  
    1616In [[GhcFile(compiler/stranal/DmdAnal.lhs)]], {{{dmdAnal}}} is the function that performs strictness analysis on an expression. It has the following type: 
    1717{{{ 
    18 dmdAnal :: SigEnv -> Demands -> CoreExpr -> (DmdType, CoreExpr) 
     18dmdAnal :: SigEnv -> Demand-> CoreExpr -> (DmdType, CoreExpr) 
    1919}}} 
    20 The first argument is an environment mapping variables onto demand signatures. (!ToDo: explain more.) 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 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}}}. 
    2121 
    2222== Important datatypes ==