Changeset 744 for to-imperative/trunk/compiler/rfp_vars.rf

Timestamp:

May 21, 2003, 4:43:54 PM (18 years ago)

Author:

orlov

Message:

• Work towards clashes compilation.

File:

• to-imperative/trunk/compiler/rfp_vars.rf (modified) (1 diff)

to-imperative/trunk/compiler/rfp_vars.rf

@@ -183 +183 @@
 
 
-Create-Int-Var (e.prefix) t.var e.expr =
-  <Gener-Vars ((VAR)) e.prefix t.var> : t.int-var,
+Create-Int-Var (e.prefix) t.var e.expr, {
+  t.var : Aux = (VAR <Box 0 e.prefix>);
+  (VAR <Box 1 e.prefix t.var>);
+} :: t.int-var =
   t.int-var (INT t.int-var e.expr);