diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-12-16 19:07:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-12-16 19:07:09 +0000 |
| commit | ec90597cdea2ffbfba140e041803c0dbba21873e (patch) | |
| tree | 82cc5a82234ed16e437a43c78cb2cf7a09d84a8b /src | |
| parent | 5f43d3d90da0109a83feca96b96399f5eaa72d7c (diff) | |
| download | open-axiom-ec90597cdea2ffbfba140e041803c0dbba21873e.tar.gz | |
SF/1850100
* bags.spad.pamphlet (parts$Stack): Implement.
(map$Stack): Likewise.
(map!$Stack): Likewise.
Diffstat (limited to 'src')
| -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 |