Changeset 4008 for to-imperative

Timestamp:

Oct 28, 2008, 9:49:32 PM (12 years ago)

Author:

yura

Message:

• Bug.

File:

• to-imperative/trunk/java/refal/refal/plus/List2.rf (modified) (1 diff)

to-imperative/trunk/java/refal/refal/plus/List2.rf

@@ -95 +95 @@
       e.list2 : t.first2 e.rest2 =
       e.new_list <Apply t.func t.first1 t.first2> (e.rest1) (e.rest2);
-  } :: e.new_list (e.list1) (e.list2), # { e.list1 : v, e.list2 : v; } =
+  } :: e.new_list (e.list1) (e.list2), # \{ e.list1 : v, e.list2 : v; } =
   e.new_list;