Changes between Version 32 and Version 33 of ExplicitCallStack


Ignore:
Timestamp:
Jan 30, 2007 12:18:54 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v32 v33  
    130130Declarations: 
    131131 
    132    [[ x :: T ]]                       ==>   x :: Trace -> T     , if x is a function binding 
     132   [[ x :: T ]]                       ==>   x :: Trace -> T     , x is function bound, and transformed for tracing 
    133133    
    134    [[ x :: T ]]                       ==>   x :: T              , is x is a CAF binding 
     134   [[ x :: T ]]                       ==>   x :: T              , x does not match the above rule 
    135135 
    136    [[ x = \y1 .. yn -> E ]]           ==>   x = \t y1 .. yn -> [[ E ]]_("x":t) 
     136   [[ x = \y1 .. yn -> E ]]           ==>   x = \t y1 .. yn -> [[ E ]]_("x":t)       , x is transformed for tracing 
     137 
     138   [[ x = \y1 .. yn -> E ]]           ==>   x = \y1 .. yn -> [[ E ]]_["x"]           , x is not transformed for tracing 
    137139 
    138140   [[ x = E ]]                        ==>   x = [[ E ]]_["x"] 
     
    142144Expressions: 
    143145 
    144    [[ x ]]_t                          ==>   x t    , if f is function bound, and transformed for tracing 
     146   [[ x ]]_t                          ==>   x t    , x is function bound, and transformed for tracing 
    145147 
    146    [[ x ]]_t                          ==>   x      , if x does not match the above rule 
     148   [[ x ]]_t                          ==>   x      , x does not match the above rule 
    147149 
    148150   [[ k ]]_t                          ==>   k