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/i-spec1.boot | |
| parent | e15a618f184aeb8cfd29128e610c336ccd4a984b (diff) | |
| download | open-axiom-e5f701265114472fd307faff46539a5c619faf2a.tar.gz | |
cleanups
Diffstat (limited to 'src/interp/i-spec1.boot')
| -rw-r--r-- | src/interp/i-spec1.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/i-spec1.boot b/src/interp/i-spec1.boot index 18bbaf8e..dc884bc7 100644 --- a/src/interp/i-spec1.boot +++ b/src/interp/i-spec1.boot @@ -379,7 +379,7 @@ upTARGET t == not isLegitimateMode(m,NIL,NIL) => throwKeyedMsg("S2IE0004",[m]) categoryForm?(m) => throwKeyedMsg("S2IE0014",[m]) $declaredMode:= m - not atom(lhs) and putTarget(lhs,m) + cons? lhs and putTarget(lhs,m) ms := bottomUp lhs first ms ~= m => throwKeyedMsg("S2IC0011",[first ms,m]) @@ -491,7 +491,7 @@ upLoopIters itrl == upLoopIterIN(iter,index,s) == iterMs := bottomUp s - null IDENTP index => throwKeyedMsg("S2IS0005",[index]) + not IDENTP index => throwKeyedMsg("S2IS0005",[index]) if $genValue and first iterMs is ['Union,:.] then v := coerceUnion2Branch getValue s @@ -518,7 +518,7 @@ upLoopIterIN(iter,index,s) == mkIteratorVariable index upLoopIterSTEP(index,lower,step,upperList) == - null IDENTP index => throwKeyedMsg("S2IS0005",[index]) + not IDENTP index => throwKeyedMsg("S2IS0005",[index]) ltype := IFCAR bottomUpUseSubdomain(lower) not (typeIsASmallInteger(ltype) or isEqualOrSubDomain(ltype,$Integer))=> throwKeyedMsg("S2IS0007",['"lower"]) |