Context Navigation

StgSynType

v1	v2
17	17	* 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.
18	18
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.
20	20
21	21	* 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.