Changes between Version 18 and Version 19 of Commentary/Rts/HeapObjects


Ignore:
Timestamp:
Oct 17, 2006 1:43:44 PM (9 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Rts/HeapObjects

    v18 v19  
    185185 * X_{{{info}}}: the ''wrapper'' for X (a function, equivalent to the
    186186   curried function {{{X}}} in Haskell, see
    187    [wiki:Commentary/Compiler/DataCon]). 
     187   [wiki:Commentary/Compiler/EntityTypes]). 
    188188 * X_{{{closure}}}: static closure for X's wrapper
    189189
     
    272272indirection to the selected field.  If it is not evaluated, it
    273273treats the selector thunk like any other thunk of that shape.
     274
     275This technique comes from the Phil Wadler paper [http://homepages.inf.ed.ac.uk/wadler/topics/garbage-collection.html Fixing some space leaks with a garbage collector], and later Christina von Dorrien who called it "Stingy Evaluation".
    274276
    275277There is a fixed set of pre-compiled selector thunks built into the