Changes between Version 26 and Version 27 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 5:02:12 PM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v26 v27  
    142142Expressions:
    143143
    144    [[ x ]]_t                          ==>   x      , if x is either lambda bound, or a CAF.
    145  
    146    [[ x ]]_t                          ==>   x t    , if f is function bound
     144   [[ x ]]_t                          ==>   x t    , if f is function bound, and transformed for tracing
     145
     146   [[ x ]]_t                          ==>   x      , if x does not match the above rule
    147147
    148148   [[ k ]]_t                          ==>   k