diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-12 16:33:55 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-12 16:33:55 +0000 |
commit | e5f701265114472fd307faff46539a5c619faf2a (patch) | |
tree | 6a2615b95dce683802fed0c3d7c2deef410b6040 /src/interp/clam.boot | |
parent | e15a618f184aeb8cfd29128e610c336ccd4a984b (diff) | |
download | open-axiom-e5f701265114472fd307faff46539a5c619faf2a.tar.gz |
cleanups
Diffstat (limited to 'src/interp/clam.boot')
-rw-r--r-- | src/interp/clam.boot | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/interp/clam.boot b/src/interp/clam.boot index e23456be..5b1eed1d 100644 --- a/src/interp/clam.boot +++ b/src/interp/clam.boot @@ -610,18 +610,18 @@ hputNewProp(ht,op,argList,val) == listTruncate(l,n) == u:= l n:= QSSUB1 n - while n ~= 0 and null atom u repeat + while n ~= 0 and cons? u repeat n:= QSSUB1 n u:= rest u - if null atom u then - if null atom rest u and $reportInstantiations = true then + if cons? u then + if cons? rest u and $reportInstantiations = true then recordInstantiation($op,CAADR u,true) u.rest := nil l lassocShift(x,l) == y:= l - while not atom y repeat + while cons? y repeat EQUAL(x,first first y) => return (result := first y) y:= rest y result => @@ -633,7 +633,7 @@ lassocShift(x,l) == lassocShiftWithFunction(x,l,fn) == y:= l - while not atom y repeat + while cons? y repeat FUNCALL(fn,x,first first y) => return (result := first y) y:= rest y result => @@ -645,7 +645,7 @@ lassocShiftWithFunction(x,l,fn) == lassocShiftQ(x,l) == y:= l - while not atom y repeat + while cons? y repeat EQ(x,first first y) => return (result := first y) y:= rest y result => @@ -657,7 +657,7 @@ lassocShiftQ(x,l) == -- rassocShiftQ(x,l) == -- y:= l --- while not atom y repeat +-- while cons? y repeat -- EQ(x,rest first y) => return (result := first y) -- y:= rest y -- result => |