Changes between Version 13 and Version 14 of Commentary/Rts/Storage/Stack


Ignore:
Timestamp:
Nov 4, 2013 5:08:11 PM (17 months ago)
Author:
Tarrasch
Comment:

grammar

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Rts/Storage/Stack

    v13 v14  
    99|| Header || Payload... || 
    1010 
    11 There are several kinds of [wiki:Commentary/Rts/Storage/Stack#KindsofStackFrame stack frame], but the most common types are those pushed when evaluating a {{{case}}} expression: 
     11There are several kinds of [wiki:Commentary/Rts/Storage/Stack#KindsofStackFrame stack frames], but the most common types are those pushed when evaluating a {{{case}}} expression: 
    1212{{{ 
    1313  case e0 of p1 -> e1; ...; pn -> en