Changes between Version 7 and Version 8 of Language/Variables

Timestamp:

06/25/09 01:58:11 (4 years ago)

Author:

benl (IP: 150.203.160.45)

Comment:

--

Language/Variables

@@ -13 +13 @@
         |    $ Var                -- closure variable
 
-RVar   ::=   %  Var               -- variable in the region namespace     eg: %r1, %const
-ECon   ::=   !  Con               -- constructor in the effect namespace  eg: !Read, !Write
+RVar   ::=   %  Var               -- region variable     eg: %r1, %const
+ECon   ::=   !  Con               -- effect constructor  eg: !Read, !Write
 }}}