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/mark.boot | |
parent | e15a618f184aeb8cfd29128e610c336ccd4a984b (diff) | |
download | open-axiom-e5f701265114472fd307faff46539a5c619faf2a.tar.gz |
cleanups
Diffstat (limited to 'src/interp/mark.boot')
-rw-r--r-- | src/interp/mark.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/mark.boot b/src/interp/mark.boot index 75caa58e..2f8849fa 100644 --- a/src/interp/mark.boot +++ b/src/interp/mark.boot @@ -761,7 +761,7 @@ markInsertChanges(code,form,t,loc) == loc is [i,:r] => x := form for j in 0..(i-1) repeat - if not atom x then x := rest x + if cons? x then x := rest x atom x => pp '"Translator RPLACA error" pp $data @@ -1088,7 +1088,7 @@ markPrintAbbreviation [kind,a,:b] == markTerpri() markSay s == - null atom s => + cons? s => for x in s repeat (markSay(lispStringList2String x); markTerpri()) PRINTEXP s @@ -1451,7 +1451,7 @@ rplacaSubst(x, y, u) == (fn(x, y, u); u) where fn(x,y,u) == atom u => nil while u is [p, :q] repeat if EQ(p, x) then u.first := y - if null atom p then fn(x, y, p) + if cons? p then fn(x, y, p) u := q buildNewDefinition(op,theSig,formPredAlist) == |