Changes between Version 7 and Version 8 of Language/Variables

Show
Ignore:
Timestamp:
06/25/09 01:58:11 (5 years ago)
Author:
benl (IP: 150.203.160.45)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Variables

    v7 v8  
    1313        |    $ Var                -- closure variable 
    1414 
    15 RVar   ::=   %  Var               -- variable in the region namespace     eg: %r1, %const 
    16 ECon   ::=   !  Con               -- constructor in the effect namespace  eg: !Read, !Write 
     15RVar   ::=   %  Var               -- region variable     eg: %r1, %const 
     16ECon   ::=   !  Con               -- effect constructor  eg: !Read, !Write 
    1717}}} 
    1818