diff options
Diffstat (limited to 'src/interp/wi2.boot')
| -rw-r--r-- | src/interp/wi2.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/wi2.boot b/src/interp/wi2.boot index f1e9185a..828afd4c 100644 --- a/src/interp/wi2.boot +++ b/src/interp/wi2.boot @@ -653,13 +653,13 @@ genDeltaEntry(opMmPair,e) == setDifference(listOfBoundVars dc,$functorLocalParameters) ~= [] => ['applyFun,['compiledLookupCheck,MKQ op, mkList consSig(sig,dc),consDomainForm(dc,nil)]] - --if null atom dc then + --if cons? dc then -- sig := substitute('$,dc,sig) -- cform := substitute('$,dc,cform) opModemapPair := [op,[dc,:[genDeltaSig x for x in sig]],['T,cform]] -- force pred to T if null NRTassocIndex dc and - (member(dc,$functorLocalParameters) or null atom dc) then + (member(dc,$functorLocalParameters) or cons? dc) then --create "%domain" entry to $NRTdeltaList $NRTdeltaList:= [["%domain",NRTaddInner dc,:dc],:$NRTdeltaList] saveNRTdeltaListComp:= $NRTdeltaListComp:=[nil,:$NRTdeltaListComp] @@ -711,7 +711,7 @@ makeSimplePredicateOrNil p == nil mkUserConstructorAbbreviation(c,a,type) == if $AnalyzeOnly or $convert2NewCompiler then $abbreviationStack := [[type,a,:c],:$abbreviationStack] - if not atom c then c:= first c -- Existing constructors will be wrapped + if cons? c then c:= first c -- Existing constructors will be wrapped constructorAbbreviationErrorCheck(c,a,type,'abbreviationError) clearClams() clearConstructorCache(c) |