diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-18 03:51:28 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-18 03:51:28 +0000 |
| commit | f6e5de243353518085fbd39be9daef1f121a96e3 (patch) | |
| tree | 0540e540bb30845fccfc795c3f41807d4cd52088 /src/algebra/stream.spad.pamphlet | |
| parent | 3691e956e1428f08363a0ed37e3f4f0f79b89ec0 (diff) | |
| download | open-axiom-f6e5de243353518085fbd39be9daef1f121a96e3.tar.gz | |
Rename %veclit to %vector and %listlit to %list
Diffstat (limited to 'src/algebra/stream.spad.pamphlet')
| -rw-r--r-- | src/algebra/stream.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet index 2056d151..3d5159ea 100644 --- a/src/algebra/stream.spad.pamphlet +++ b/src/algebra/stream.spad.pamphlet @@ -914,7 +914,7 @@ Stream(S): Exports == Implementation where --% RCAGG functions empty() == - %makepair(NullStream,%nil$Foreign(Builtin))$Foreign(Builtin) + %pair(NullStream,%nil$Foreign(Builtin))$Foreign(Builtin) lazyEval(x: %): % == (rst(x):(()-> %)) () @@ -949,7 +949,7 @@ Stream(S): Exports == Implementation where (concat(frst x, first(rst x,(n-1) :: NNI))) concat(s:S,x:%) == - %makepair(s,x)$Foreign(Builtin) + %pair(s,x)$Foreign(Builtin) cons(s,x) == concat(s,x) @@ -1070,7 +1070,7 @@ Stream(S): Exports == Implementation where [true, npp, periode] delay(fs:()->%) == - %makepair(NonNullStream,fs)$Foreign(Builtin) + %pair(NonNullStream,fs)$Foreign(Builtin) explicitEntries? x == not explicitlyEmpty? x and not lazy? x |