diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-12-16 00:42:25 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-12-16 00:42:25 +0000 |
| commit | 9266fff774696b85654ccf65307f2683e34a808f (patch) | |
| tree | 77c04f3c975e6b4c3e33142583e593e018a636d3 | |
| parent | 9aacb602ae103e8d7e6ab4a2d2147911fe5c01f1 (diff) | |
| download | open-axiom-9266fff774696b85654ccf65307f2683e34a808f.tar.gz | |
* nruncomp.boot (buildFunctor): Use $NRTbase instead of hardcoded
constant 6.
(NRTcheckVector): Likewise.
(deepChaseInferences): Likewise.
| -rw-r--r-- | src/interp/ChangeLog | 7 | ||||
| -rw-r--r-- | src/interp/nruncomp.boot | 14 |
2 files changed, 14 insertions, 7 deletions
diff --git a/src/interp/ChangeLog b/src/interp/ChangeLog index 3c6c35ef..212bd868 100644 --- a/src/interp/ChangeLog +++ b/src/interp/ChangeLog @@ -1,3 +1,10 @@ +2007-12-15 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * nruncomp.boot (buildFunctor): Use $NRTbase instead of hardcoded + constant 6. + (NRTcheckVector): Likewise. + (deepChaseInferences): Likewise. + 2007-12-13 Gabriel Dos Reis <gdr@cs.tamu.edu> * nruncomp.boot (deltaTran): Use NRTaddIndex. diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index d7fd7485..d986a708 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -388,11 +388,11 @@ buildFunctor($definition is [name,:args],sig,code,$locals,$e) == -- [['domain,NRTaddInner $NRTaddForm,:$NRTaddForm],:$NRTdeltaList] -- $NRTdeltaLength := $NRTdeltaLength+1 --NRTgetLocalIndex $NRTaddForm - domainShell := GETREFV (6 + $NRTdeltaLength) + domainShell := GETREFV ($NRTbase + $NRTdeltaLength) for i in 0..4 repeat domainShell.i := $domainShell.i --we will clobber elements; copy since $domainShell may be a cached vector $template := - $NRTvec = true => GETREFV (6 + $NRTdeltaLength) + $NRTvec = true => GETREFV ($NRTbase + $NRTdeltaLength) nil $catvecList:= [domainShell,:[emptyVector for u in CADR domainShell.4]] $catNames := ['$] -- for DescendCode -- to be changed below for slot 4 @@ -417,7 +417,7 @@ buildFunctor($definition is [name,:args],sig,code,$locals,$e) == codePart2:= $NRTvec = true => argStuffCode := - [[$setelt,'$,i,v] for i in 6.. for v in $FormalMapVariableList + [[$setelt,'$,i,v] for i in $NRTbase.. for v in $FormalMapVariableList for arg in rest $definition] if MEMQ($NRTaddForm,$locals) then addargname := $FormalMapVariableList.(POSN1($NRTaddForm,$locals)) @@ -435,7 +435,7 @@ buildFunctor($definition is [name,:args],sig,code,$locals,$e) == --$NRTdomainFormList is unused now createDomainCode:= ['LET,domname,['LIST,MKQ CAR $definition,:ASSOCRIGHT $devaluateList]] - createViewCode:= ['LET,'$,['GETREFV, 6+$NRTdeltaLength]] + createViewCode:= ['LET,'$,['GETREFV, $NRTbase + $NRTdeltaLength]] setVector0Code:=[$setelt,'$,0,'dv_$] slot3Code := ['QSETREFV,'$,3,['LET,'pv_$,predBitVectorCode1]] slamCode:= @@ -476,7 +476,7 @@ buildFunctor($definition is [name,:args],sig,code,$locals,$e) == NRTcheckVector domainShell == --RETURNS: an alist (((op,sig),:pred) ...) of missing functions alist := nil - for i in 6..MAXINDEX domainShell repeat + for i in $NRTbase..MAXINDEX domainShell repeat --Vector elements can be one of -- (a) T -- item was marked -- (b) NIL -- item is a domain; will be filled in by setVector4part3 @@ -493,7 +493,7 @@ NRTcheckVector domainShell == alist -- Obsolete once we have moved to JHD's world -NRTvectorCopy(cacheName,domName,deltaLength) == GETREFV (6 + deltaLength) +NRTvectorCopy(cacheName,domName,deltaLength) == GETREFV ($NRTbase + deltaLength) mkDomainCatName id == INTERN STRCONC(id,";CAT") @@ -691,7 +691,7 @@ deepChaseInferences(pred,$e) == vectorLocation(op,sig) == u := or/[i for i in 1.. for u in $NRTdeltaList | u is [=op,[='$,: xsig],:.] and sig=NRTsubstDelta(xsig) ] - u => $NRTdeltaLength - u + 6 + u => $NRTdeltaLength - u + $NRTbase nil -- this signals that calls should be forwarded NRTsubstDelta(initSig) == |