Changes between Version 1 and Version 2 of Commentary/Compiler/StgSynType


Ignore:
Timestamp:
Sep 15, 2006 5:24:01 AM (8 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StgSynType

    v1 v2  
    1717  * Every lambda-form (`StgRhsClosure`) lists its free variables.  These are the variables that are in the thunk of function closure that is allocated by the let. 
    1818 
    19   * Every lambda-form gives its '''Static Reference Table''' or '''SRT'''.  You shold think of the SRT as the ''top-level'' free variables of the body.  They do not need to be dynamically allocated in the heap object, but they do need to be accessible from the object's info-table, so that the garbage collector can find the CAFs kept alive by the object. 
     19  * Every lambda-form gives its [wiki:Commentary/Rts/CAFs '''Static Reference Table'''] or '''SRT'''.  You shold think of the SRT as the ''top-level'' free variables of the body.  They do not need to be dynamically allocated in the heap object, but they do need to be accessible from the object's info-table, so that the garbage collector can find the CAFs kept alive by the object. 
    2020 
    2121  * A {{{StgCase}}} expression is decorated with its '''live variables'''; that is, variables reachable from the continuation of the case.  More precisely, two sets of live variables, plus the SRT for the continuation.  Todo: say more.