diff options
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 |