From ca02b22bc124b48faad0cdd3cc89568802ba16b9 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 18 May 2013 10:13:02 +0000 Subject: Use FiniteAggregate instead of finiteAggregate --- src/algebra/stream.spad.pamphlet | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra/stream.spad.pamphlet') 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 -- cgit v1.2.3