From 4d2e40994f313341a18c6a488826e5c79ed0ee6b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 21 May 2013 19:08:40 +0000
Subject: 	* algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate)
 [map!]: 	Implement default. 	* algebra/list.spad.pamphlet (List)
 [map!]: Likewise.

---
 src/algebra/aggcat.spad.pamphlet | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'src/algebra/aggcat.spad.pamphlet')

diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet
index 2dd2fc74..512bf628 100644
--- a/src/algebra/aggcat.spad.pamphlet
+++ b/src/algebra/aggcat.spad.pamphlet
@@ -1662,6 +1662,13 @@ UnaryRecursiveAggregate(S:Type): Category == RecursiveAggregate S with
       setrest!(x, empty())
       y
 
+    map!(f,x) ==
+      y := x
+      while not empty? y repeat
+        setfirst!(y,f first y)
+        y := rest y
+      x
+
 @
 
 \section{category STAGG StreamAggregate}
@@ -1735,13 +1742,6 @@ StreamAggregate(S:Type): Category ==
        empty? l => empty()
        concat!(copy first l, concat rest l)
 
-     map!(f, l) ==
-       y := l
-       while not empty? l repeat
-	 setfirst!(l, f first l)
-	 l := rest l
-       y
-
      fill!(x, s) ==
        y := x
        while not empty? y repeat (setfirst!(y, s); y := rest y)
-- 
cgit v1.2.3