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/nruncomp.boot | |
parent | e15a618f184aeb8cfd29128e610c336ccd4a984b (diff) | |
download | open-axiom-e5f701265114472fd307faff46539a5c619faf2a.tar.gz |
cleanups
Diffstat (limited to 'src/interp/nruncomp.boot')
-rw-r--r-- | src/interp/nruncomp.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 6d76fe6e..7bb931ab 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -204,12 +204,12 @@ genDeltaEntry(opMmPair,e) == ['applyFun,['compiledLookupCheck,MKQ op, mkList consSig(nsig,dc),consDomainForm(dc,nil)]] odc := dc - if not atom dc then + if cons? dc then dc := substitute("$$","$",dc) opModemapPair := [op,[dc,:[NRTgetLocalIndex x for x in nsig]],["T",cform]] -- force pred to T if null NRTassocIndex dc and - (member(dc,$functorLocalParameters) or not atom dc) then + (member(dc,$functorLocalParameters) or cons? dc) then --create "%domain" entry to $NRTdeltaList $NRTdeltaList:= [["%domain",NRTaddInner dc],:$NRTdeltaList] saveNRTdeltaListComp:= $NRTdeltaListComp:=[nil,:$NRTdeltaListComp] @@ -320,7 +320,7 @@ NRTisExported? opSig == or/[u for u in $domainShell.1 | u.0 = opSig] consOpSig(op,sig,dc) == - if not atom op then + if cons? op then keyedSystemError("S2GE0016",['"consOpSig",'"bad operator in table"]) mkList [MKQ op,mkList consSig(sig,dc)] |