diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-25 13:02:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-25 13:02:32 +0000 |
| commit | 59676ddc602b874061a8acc941f7bb19cd6041f5 (patch) | |
| tree | 7dfd6316057ba8189605c227f082a55b7643e128 /src/algebra/stream.spad.pamphlet | |
| parent | 094e16ae834eaf254a85781d759e0399a9269fb1 (diff) | |
| download | open-axiom-59676ddc602b874061a8acc941f7bb19cd6041f5.tar.gz | |
* interp/g-opt.boot: Rename %eq to %peq for pointer comparaison.
* interp/g-util.boot: Expand it.
* algebra/aggcat.spad.pamphlet: Cleanup.
* algebra/any.spad.pamphlet: Likewise.
* algebra/boolean.spad.pamphlet: Likewise.
* algebra/data.spad.pamphlet: Likewise.
* algebra/domain.spad.pamphlet: Likewise.
* algebra/files.spad.pamphlet: Likewise.
* algebra/laurent.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/mappkg.spad.pamphlet: Likewise.
* algebra/ore.spad.pamphlet: Likewise.
* algebra/padic.spad.pamphlet: Likewise.
* algebra/pattern.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
* algebra/stream.spad.pamphlet: Likewise.
* algebra/string.spad.pamphlet: Likewise.
* algebra/syntax.spad.pamphlet: Likewise.
* algebra/table.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/stream.spad.pamphlet')
| -rw-r--r-- | src/algebra/stream.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet index 79c37753..fc4be2d0 100644 --- a/src/algebra/stream.spad.pamphlet +++ b/src/algebra/stream.spad.pamphlet @@ -100,7 +100,7 @@ LazyStreamAggregate(S:Type): Category == StreamAggregate(S) with explicitlyFinite? x and explicitlyFinite? y => entries x = entries y explicitEntries? x and explicitEntries? y => - frst x = frst y and EQ(rst x, rst y)$Lisp + frst x = frst y and %peq(rst x,rst y)$Foreign(Builtin) -- treat cyclic streams false @@ -664,8 +664,8 @@ Stream(S): Exports == Implementation where Rep := Record(firstElt: S, restOfStream: %) - explicitlyEmpty? x == EQ(frst x,NullStream)$Lisp - lazy? x == EQ(frst x,NonNullStream)$Lisp + explicitlyEmpty? x == %peq(frst x,NullStream)$Foreign(Builtin) + lazy? x == %peq(frst x,NonNullStream)$Foreign(Builtin) --% signatures of local functions @@ -922,7 +922,7 @@ Stream(S): Exports == Implementation where lazyEvaluate x == st := lazyEval x setfrst!(x, frst st) - setrst!(x,if EQ(rst st,st)$Lisp then x else rst st) + setrst!(x,if %peq(rst st,st)$Foreign(Builtin) then x else rst st) x -- empty? is the only function that explicitly causes evaluation @@ -931,7 +931,7 @@ Stream(S): Exports == Implementation where while lazy? x repeat st := lazyEval x setfrst!(x, frst st) - setrst!(x,if EQ(rst st,st)$Lisp then x else rst st) + setrst!(x,if %peq(rst st,st)$Foreign(Builtin) then x else rst st) explicitlyEmpty? x --setvalue(x,s) == setfirst!(x,s) |