diff options
| -rw-r--r-- | src/algebra/ChangeLog | 7 | ||||
| -rw-r--r-- | src/algebra/bags.spad.pamphlet | 10 |
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 |