Changeset 4033

Timestamp:

Nov 12, 2008, 7:48:15 PM (12 years ago)

Author:

yura

Message:

 

File:

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

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

@@ -222 +222 @@
 $public $func? All t.func e.list = ;
 All t.func e.list = <SimplifyFunction t.func> :: s.func e.arg,
-  { e.list : e t.item e, # { <Apply.Apply s.func e.arg t.item> :: e; } = $fail;; };
+  # \{ e.list : e t.item e, # \{ <Apply.Apply s.func e.arg t.item> :: e; }; };
 
 $public $func? Any t.func e.list = ;