diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-30 02:19:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-30 02:19:32 +0000 |
| commit | 676caa3f40f2c11544296700d728dc282e832e58 (patch) | |
| tree | 26d5f8ffc0b8e48f28f9a7d2ee8284f91d293d6b /src/interp | |
| parent | cb65c7fd822eb7e5b8a32bda101b6f85c6cf3cdd (diff) | |
| download | open-axiom-676caa3f40f2c11544296700d728dc282e832e58.tar.gz | |
* interp/nruncomp.boot (deltaTran): Don't check for $NRTaddForm
againg; it was already checked by NRTassocIndex.
(genDeltaEntry): Likewise.
(NRTgetLocalIndex): Likewise.
* interp/wi2.boot (genDeltaExntry): Likewise.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/nruncomp.boot | 4 | ||||
| -rw-r--r-- | src/interp/wi2.boot | 2 |
2 files changed, 2 insertions, 4 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 6a4329c3..a5f356f0 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -104,7 +104,6 @@ deltaTran(item,compItem) == -- so we need only encode dc. -- gdr 2008-11-28. dcCode := dc = '$ => 0 - dc = $NRTaddForm => 5 NRTassocIndex dc or keyedSystemError("S2NR0004",[dc]) kindFlag:= (kind = 'CONST => 'CONST; nil) [sig,dcCode,op,:kindFlag] @@ -202,7 +201,7 @@ genDeltaEntry opMmPair == if not atom 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 dc ^= $NRTaddForm and + if null NRTassocIndex dc and (member(dc,$functorLocalParameters) or not atom dc) then --create "domain" entry to $NRTdeltaList $NRTdeltaList:= [['domain,NRTaddInner dc,:dc],:$NRTdeltaList] @@ -236,7 +235,6 @@ NRTassocIndex x == NRTgetLocalIndex: %Form -> %Short NRTgetLocalIndex item == k := NRTassocIndex item => k - item = $NRTaddForm => 5 item = "$" => 0 item = "$$" => 2 value:= diff --git a/src/interp/wi2.boot b/src/interp/wi2.boot index 3537836c..78870d66 100644 --- a/src/interp/wi2.boot +++ b/src/interp/wi2.boot @@ -730,7 +730,7 @@ genDeltaEntry opMmPair == -- cform := substitute('$,dc,cform) opModemapPair := [op,[dc,:[genDeltaSig x for x in sig]],['T,cform]] -- force pred to T - if null NRTassocIndex dc and dc ^= $NRTaddForm and + if null NRTassocIndex dc and (member(dc,$functorLocalParameters) or null atom dc) then --create "domain" entry to $NRTdeltaList $NRTdeltaList:= [['domain,NRTaddInner dc,:dc],:$NRTdeltaList] |