Changes between Version 14 and Version 15 of Commentary/Rts/HeapObjects


Ignore:
Timestamp:
Oct 11, 2006 2:30:29 PM (8 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Rts/HeapObjects

    v14 v15  
    1717 
    1818Unboxed tuples {{{(#...#)}}} are both unlifted and unboxed.  They are represented by multiple values passed in registers or on the stack, according to the [wiki:Commentary/Rts/HaskellExecution return convention]. 
     19 
     20Unlifted types cannot currently be used to represent terminating functions: an unlifted type on the right of an arrow is implicitly lifted to include `_|_`. 
    1921 
    2022-----------