Changes between Version 32 and Version 33 of ExplicitCallStack


Ignore:
Timestamp:
Jan 30, 2007 12:18:54 PM (9 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