From cc69cdefa3acf48bad75ac52f55cd9f27c970eab Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 19 May 2013 17:44:50 +0000
Subject: 	* algebra/aggcat.spad.pamphlet (Aggregate) [#]: Remove export.
 	(UnaryRecursiveAggregate):  Make definiton conditional. 	*
 algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.

---
 src/algebra/stream.spad.pamphlet | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

(limited to 'src/algebra/stream.spad.pamphlet')

diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet
index 90fd504c..7b2db025 100644
--- a/src/algebra/stream.spad.pamphlet
+++ b/src/algebra/stream.spad.pamphlet
@@ -122,15 +122,17 @@ LazyStreamAggregate(S:Type): Category == StreamAggregate(S) with
     empty? x => n = 0
     size?(rst x,(n-1) :: NNI)
 
-  # x ==
-    -- error if stream is not finite
-    y := x
-    for i in 0.. repeat
-      explicitlyEmpty? y  => return i
-      lazy? y => error "#: infinite stream"
-      y := rst y
-      if odd? i then x := rst x
-      eq?(x,y) => error "#: infinite stream"
+--% FINAGG functions
+  if % has FiniteAggregate S then
+    # x ==
+      -- error if stream is not finite
+      y := x
+      for i in 0.. repeat
+        explicitlyEmpty? y  => return i
+        lazy? y => error "#: infinite stream"
+        y := rst y
+        if odd? i then x := rst x
+        eq?(x,y) => error "#: infinite stream"
 
 --% CLAGG functions
 
-- 
cgit v1.2.3