diff options
Diffstat (limited to 'src/algebra/stream.spad.pamphlet')
| -rw-r--r-- | src/algebra/stream.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet index 0879aad5..0241548c 100644 --- a/src/algebra/stream.spad.pamphlet +++ b/src/algebra/stream.spad.pamphlet @@ -551,11 +551,13 @@ CyclicStreamTools(S,ST): Exports == Implementation where \section{domain STREAM Stream} <<domain STREAM Stream>>= import Type +import Void import Boolean import Integer import NonNegativeInteger import UniversalSegment import List +import OutputForm )abbrev domain STREAM Stream ++ Implementation of streams via lazy evaluation ++ Authors: Burge, Watt; updated by Clifton J. Williamson @@ -823,7 +825,7 @@ Stream(S): Exports == Implementation where p(frst x) => remove(p,rst x) concat(frst x,remove(p,rst x)) - remove(p,x) == + remove(p: S -> Boolean,x:%) == explicitlyEmpty? x => empty() eq?(x,rst x) => p(frst x) => empty() |