Changes between Version 9 and Version 10 of Commentary/Compiler/StgSynType


Ignore:
Timestamp:
Sep 24, 2012 6:14:26 PM (19 months ago)
Author:
ezyang
Comment:

Elaborate a little on let-no-escape based on StgSyn?.lhs

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StgSynType

    v9 v10  
    2525  * 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. 
    2626 
    27   * The STG program has a new construct called '''let-no-escape''', that encodes so-called '''join points'''. Todo: say more. 
     27  * The STG program has a new construct called '''let-no-escape''', that encodes so-called '''join points'''. Variables bound by a let-no-escape are guaranteed to be tail-calls, not embedded inside a data structure, in which case we don’t have to construct a closure because the required stack will always be present. Todo: say more.