Changes between Version 24 and Version 25 of ExplicitCallStack


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v24 v25  
    130130Declarations:
    131131
    132    [[ x :: T ]]               ==>   x :: Trace -> T     , if x is a function binding
     132   [[ x :: T ]]                 ==>   x :: Trace -> T     , if x is a function binding
    133133   
    134    [[ x :: T ]]               ==>   x :: T              , is x is a CAF binding
     134   [[ x :: T ]]                 ==>   x :: T              , is x is a CAF binding
    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)
    137137
    138138Expressions:
    139139
    140    [[ x ]]_t   ==>   x      , if x is either lambda bound, or a CAF.
     140   [[ x ]]_t                    ==>   x      , if x is either lambda bound, or a CAF.
    141141 
    142    [[ x ]]_t   ==>   x t    , if f is function bound
     142   [[ x ]]_t                    ==>   x t    , if f is function bound
    143143
    144    [[ k ]]_t     ==>   k
     144   [[ k ]]_t                    ==>   k
    145145
    146    [[ E1 E2 ]]_t   ==>   [[ E1 ]] [[ E2 ]]
     146   [[ E1 E2 ]]_t                ==>   [[ E1 ]]_t [[ E2 ]]_t
    147147
    148    [[ let D1 .. Dn in E ]]_t   ==>   let [[ D1 ]] .. [[ Dn ]] in  [[ E ]]_t
     148   [[ let D1 .. Dn in E ]]_t    ==>   let [[ D1 ]] .. [[ Dn ]] in  [[ E ]]_t
    149149
    150150   [[ case E of A1 .. An ]]_t   ==>   case [[ E ]]_t of [[ A1 ]]_t .. [[ An ]]_t
    151151
    152    [[ \y1 .. yn -> E ]]_t   ==>   \y1 .. yn -> [[ E ]]_t
     152   [[ \y1 .. yn -> E ]]_t       ==>   \y1 .. yn -> [[ E ]]_t
    153153
    154154Alternatives:
    155155
    156    [[ p -> E ]]_t   ==>   p -> [[ E ]]_t
     156   [[ p -> E ]]_t               ==>   p -> [[ E ]]_t
    157157}}}
    158158