Changes between Version 20 and Version 21 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 4:41:13 PM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v20 v21  
    103103might pass one stack argument for every regular argument of the function.
    104104
     105The notation:
     106
     107{{{
     108   [[ E ]]_k
     109}}}
     110
     111for some k, means transform the expression E, with stack value k.
     112
    105113{{{
    106114   [[ x :: T ]]   ==>   x :: Trace -> T     , if x is a function binding