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/ystream.spad.pamphlet | |
| parent | 3691e956e1428f08363a0ed37e3f4f0f79b89ec0 (diff) | |
| download | open-axiom-f6e5de243353518085fbd39be9daef1f121a96e3.tar.gz | |
Rename %veclit to %vector and %listlit to %list
Diffstat (limited to 'src/algebra/ystream.spad.pamphlet')
| -rw-r--r-- | src/algebra/ystream.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/ystream.spad.pamphlet b/src/algebra/ystream.spad.pamphlet index a085c647..f3138d7c 100644 --- a/src/algebra/ystream.spad.pamphlet +++ b/src/algebra/ystream.spad.pamphlet @@ -42,14 +42,14 @@ ParadoxicalCombinatorsForStreams(A):Exports == Implementation where import %tail: ST A -> ST A from Foreign Builtin Y f == - y : ST A := %makepair(0$I,0$I)$Foreign(Builtin) + y : ST A := %pair(0$I,0$I)$Foreign(Builtin) j := f y %store(%head y,frst j)$Foreign(Builtin) %store(%tail y,rst j)$Foreign(Builtin) y Y(g,n) == - x : L ST A := [%makepair(0$I,0$I)$Foreign(Builtin) for i in 1..n] + x : L ST A := [%pair(0$I,0$I)$Foreign(Builtin) for i in 1..n] j := g x for xi in x for ji in j repeat %store(%head xi,frst ji)$Foreign(Builtin) |