aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/algebra/ChangeLog7
-rw-r--r--src/algebra/bags.spad.pamphlet10
2 files changed, 17 insertions, 0 deletions
diff --git a/src/algebra/ChangeLog b/src/algebra/ChangeLog
index 524a01ba..895cb077 100644
--- a/src/algebra/ChangeLog
+++ b/src/algebra/ChangeLog
@@ -1,3 +1,10 @@
+2007-12-16 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ SF/1850100
+ * bags.spad.pamphlet (parts$Stack): Implement.
+ (map$Stack): Likewise.
+ (map!$Stack): Likewise.
+
2007-12-12 Gabriel Dos Reis <gdr@cs.tamu.edu>
* domain.spad (showSummary$Domain): New.
diff --git a/src/algebra/bags.spad.pamphlet b/src/algebra/bags.spad.pamphlet
index a00b49e6..ed8b82a6 100644
--- a/src/algebra/bags.spad.pamphlet
+++ b/src/algebra/bags.spad.pamphlet
@@ -42,6 +42,16 @@ Stack(S: Type): StackAggregate S with
s = t ==
deref s = deref t
+ parts s == -- from HOAGG
+ deref s
+
+ map(f: S -> S, s: %) == -- from HOAGG
+ ref map(f, deref s)$List(S)
+
+ map!(f: S -> S, s: %) == -- from HOAGG
+ map!(f, deref s)$List(S)
+ s
+
copy s == ref copy deref s
depth s == # deref s
# s == depth s