diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-18 19:27:36 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 19:27:36 +0000 |
| commit | dc013cafe3022b417b948d5ebda532b8ed7cb00b (patch) | |
| tree | 7fd1d97d35134aafe39ce39ac08d21e2f4ec2102 /src/algebra/stream.spad.pamphlet | |
| parent | 7aeb74ff23e7f43dbb17735c2fd4cafbe5606508 (diff) | |
| download | open-axiom-dc013cafe3022b417b948d5ebda532b8ed7cb00b.tar.gz | |
* algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove.
Remove redundant defaults.
Diffstat (limited to 'src/algebra/stream.spad.pamphlet')
| -rw-r--r-- | src/algebra/stream.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet index e6fc3f8b..90fd504c 100644 --- a/src/algebra/stream.spad.pamphlet +++ b/src/algebra/stream.spad.pamphlet @@ -443,7 +443,7 @@ LazyStreamAggregate(S:Type): Category == StreamAggregate(S) with if odd? i then x := rst x eq?(x,y2) => error "last: infinite stream" - if % has finiteAggregate then -- # is only defined for finiteAggregates + if % has FiniteAggregate S then -- # is only defined for finite aggregates last(x,n) == possiblyInfinite? x => error "last: infinite stream" m := # x |