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-spec2.boot | |
parent | e15a618f184aeb8cfd29128e610c336ccd4a984b (diff) | |
download | open-axiom-e5f701265114472fd307faff46539a5c619faf2a.tar.gz |
cleanups
Diffstat (limited to 'src/interp/i-spec2.boot')
-rw-r--r-- | src/interp/i-spec2.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/i-spec2.boot b/src/interp/i-spec2.boot index e8522eb9..76da8a17 100644 --- a/src/interp/i-spec2.boot +++ b/src/interp/i-spec2.boot @@ -66,7 +66,7 @@ upDEF t == -- performs map definitions. value is thrown away t isnt [op,def,pred,.] => nil v:=addDefMap(["DEF",:def],pred) - null(LISTP(def)) or null(def) => + not(LISTP(def)) or null(def) => keyedSystemError("S2GE0016",['"upDEF",'"bad map definition"]) mapOp := first def if LISTP(mapOp) then @@ -184,7 +184,7 @@ upequation tree == -- this should speed things up a bit tree isnt [op,lhs,rhs] => NIL $Boolean ~= getTarget(op) => NIL - null VECP op => NIL + not VECP op => NIL -- change equation into '=' op.0 := "=" bottomUp tree @@ -363,7 +363,7 @@ putPvarModes(pattern,m) == -- Puts the modes for the pattern variables into $env m isnt ["List",um] => throwKeyedMsg("S2IS0030",NIL) for pvar in pattern repeat - IDENTP pvar => (null (pvar=$quadSymbol)) and put(pvar,'mode,um,$env) + IDENTP pvar => (not (pvar=$quadSymbol)) and put(pvar,'mode,um,$env) pvar is ['_:,var] => null (var=$quadSymbol) and put(var,"mode",m,$env) pvar is ['_=,var] => @@ -788,7 +788,7 @@ getInterpMacroNames() == isInterpMacro name == -- look in local and then global environment for a macro - null IDENTP name => NIL + not IDENTP name => NIL name in $specialOps => NIL (m := get("--macros--",name,$env)) => m (m := get("--macros--",name,$e)) => m |