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

Timestamp:

Aug 15, 2003, 5:30:23 PM (17 years ago)

Author:

orlov

Message:

• Fixed $iter compilation.

File:

• to-imperative/trunk/compiler/rfp_vars.rf (modified) (2 diffs)

to-imperative/trunk/compiler/rfp_vars.rf

@@ -144 +144 @@
 
 
+
+$func Reset-Var e = e;
+
+Vars-Reset e.vars = <Map &Reset-Var (e.vars)> : e;
+
+
+Reset-Var t.var =
+  <? &State> : $r e1 (t.var e (Decl s.decl) e) e2,
+  <Store &State e1 e2>,
+  <Normalize-Info (Instantiated? True) (Decl s.decl) t.var>;
+
+
+
 $func Print-Var e = e;
 
@@ -187 +200 @@
 
 
-
-//!Declared? t.var =
-//!     <? &State> : $r e (t.var tag t.min t.max s.decl e.rest) e = <Box? s.decl>;
-
-
-//!$func? Decl-Box t.var = s.box;
-
-//!Decl-Box t.var =
-//!     <? &State> : $r e (t.var tag t.min t.max s.decl e.rest) e = <Box? s.decl>, s.decl;
-
-
-//!Instantiated? t.var =
-//! <Var? t.var>,
-//! <? &State> : $r e (t.var tag t.min t.max s.decl s.inst) e = s.inst : Instantiated;