Changeset 975

Timestamp:

Jul 8, 2003, 7:31:14 AM (18 years ago)

Author:

sveta

Message:

• Correction for syntax-modification (TERM-EQ).

File:

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

to-imperative/trunk/compiler/rfp_asail_optim.rf

@@ -395 +395 @@
       <Push> <Optim-Int e.pos> :: e.pos,
       <Optim-Cond (e.init (EQ e.expr1 (e.expr2) (e.pos))) e.rest>;
-    (FLAT-EQ e.expr1 (e.expr2) (e.pos)) = 
+    (TERM-EQ e.expr1 (e.expr2) (e.pos)) = 
       <Optim-Ref e.expr1> :: e.expr1,
       <Optim-Ref e.expr2> :: e.expr2,
       <Push> <Optim-Int e.pos> :: e.pos,
       <Optim-Cond (e.init 
-        (FLAT-EQ e.expr1 (e.expr2) (e.pos))) e.rest>;
+        (TERM-EQ e.expr1 (e.expr2) (e.pos))) e.rest>;
     (CHECK-ITER t.var) = 
       <Optim-Cond (e.init (CHECK-ITER t.var)) e.rest>;