Changes between Version 23 and Version 24 of ExplicitCallStack


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v23 v24  
    128128
    129129{{{
    130    [[ x :: T ]]   ==>   x :: Trace -> T     , if x is a function binding
     130Declarations:
     131
     132   [[ x :: T ]]               ==>   x :: Trace -> T     , if x is a function binding
    131133   
    132    [[ x :: T ]]   ==>   x :: T              , is x is a CAF binding
     134   [[ x :: T ]]               ==>   x :: T              , is x is a CAF binding
    133135
    134136   [[ x = \y1 .. yn -> E ]]   ==>   x = \t y1 .. yn -> [[ E ]]_("x":t)
     137
     138Expressions:
     139
     140   [[ x ]]_t   ==>   x      , if x is either lambda bound, or a CAF.
     141 
     142   [[ x ]]_t   ==>   x t    , if f is function bound
     143
     144   [[ k ]]_t     ==>   k
     145
     146   [[ E1 E2 ]]_t   ==>   [[ E1 ]] [[ E2 ]]
     147
     148   [[ let D1 .. Dn in E ]]_t   ==>   let [[ D1 ]] .. [[ Dn ]] in  [[ E ]]_t
     149
     150   [[ case E of A1 .. An ]]_t   ==>   case [[ E ]]_t of [[ A1 ]]_t .. [[ An ]]_t
     151
     152   [[ \y1 .. yn -> E ]]_t   ==>   \y1 .. yn -> [[ E ]]_t
     153
     154Alternatives:
     155
     156   [[ p -> E ]]_t   ==>   p -> [[ E ]]_t
    135157}}}
    136158