Changeset 2044 for to-imperative/trunk/library/List/refal/List.rf

Timestamp:

Aug 1, 2006, 9:31:01 PM (14 years ago)

Author:

orlov

Message:

• Improved Intersperse.

File:

• to-imperative/trunk/library/List/refal/List.rf (modified) (1 diff)

to-imperative/trunk/library/List/refal/List.rf

@@ -81 +81 @@
 };
 
-Intersperse (e.sep) e.list =
-  (/*e.new-list*/) e.list $iter {
-    e.list : t1 v2 =
-      (e.new-list t1 e.sep) v2;
-    (e.new-list e.list);
-  } :: (e.new-list) e.list,
-  e.list : /*empty*/ =
-  e.new-list;
+Intersperse {
+  (e.sep) /*empty*/ = /*empty*/;
+  (e.sep) t1 = t1;
+  (e.sep) t1 e.list =
+    (t1 e.sep) e.list $iter {
+      e.list : t2 e.rest =
+        (e.new-list t2 e.sep) e.rest;
+    } :: (e.new-list) e.list,
+    e.list : t2 =
+    e.new-list t2;
+};
 
 Nub e.expr =