Changes between Version 26 and Version 27 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 5:02:12 PM (7 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