Changes between Version 24 and Version 25 of ExplicitCallStack


Ignore:
Timestamp:
Jan 29, 2007 4:52:53 PM (8 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