diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-18 10:13:02 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 10:13:02 +0000 |
| commit | ca02b22bc124b48faad0cdd3cc89568802ba16b9 (patch) | |
| tree | 596842b4f72c39a039648d5fcd6d72af255a2867 /src/algebra/stream.spad.pamphlet | |
| parent | c8d92c23d9f689c2ba3b18f4f5e5e497d539ef78 (diff) | |
| download | open-axiom-ca02b22bc124b48faad0cdd3cc89568802ba16b9.tar.gz | |
Use FiniteAggregate instead of finiteAggregate
Diffstat (limited to 'src/algebra/stream.spad.pamphlet')
| -rw-r--r-- | src/algebra/stream.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet index b7fe4421..e6fc3f8b 100644 --- a/src/algebra/stream.spad.pamphlet +++ b/src/algebra/stream.spad.pamphlet @@ -162,7 +162,7 @@ LazyStreamAggregate(S:Type): Category == StreamAggregate(S) with if odd? i then x := rst x eq?(x,y) => return true --- following ops count and member? are only exported if $ has finiteAggregate +-- following ops count and member? are only exported if $ has FiniteAggregate S -- count(f:S -> Boolean,x:%) == -- -- error if stream is not finite @@ -233,7 +233,7 @@ LazyStreamAggregate(S:Type): Category == StreamAggregate(S) with --% IXAGG functions --- following assumes % has finiteAggregate and S has SetCategory +-- following assumes % has FiniteAggregate S and S has SetCategory -- entry?(s,x) == -- -- error message only when x is a stream with lazy -- -- evaluation and 's' is not among the stream elements |