diff options
author | dos-reis <gdr@axiomatics.org> | 2013-06-13 22:57:03 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-06-13 22:57:03 +0000 |
commit | 76f095d6a13dbb43472e4330299a978eff5993be (patch) | |
tree | 20df6efac1e976a922ab89542b048a339caff7f1 /src | |
parent | 84c9f8ab548a23a07e1e657fd75665d6b048a4b1 (diff) | |
download | open-axiom-76f095d6a13dbb43472e4330299a978eff5993be.tar.gz |
avoid uses of special variables for environments.
Diffstat (limited to 'src')
-rw-r--r-- | src/ChangeLog | 6 | ||||
-rw-r--r-- | src/interp/nruncomp.boot | 28 |
2 files changed, 20 insertions, 14 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 5e6750cf..3970a249 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2013-06-13 Gabriel Dos Reis <gdr@integrable-solutions.net> + + * interp/nruncomp.boot (listOfBoundVars): Take environment as + second parameter. Adjust callers. + (optDeltaEntry): Likewise. + 2013-06-05 Gabriel Dos Reis <gdr@integrable-solutions.net> * interp/define.boot (substSlotNumbers): Remove redundant check. diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 0c60a502..bd6424fd 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -124,19 +124,19 @@ NRTencode(db,x,y) == encode(db,x,y,true) where encode(db,x,compForm,firstTime) = quote compForm --------------FUNCTIONS CALLED DURING CAPSULE FUNCTION COMPILATION------------- -listOfBoundVars form == +listOfBoundVars(form,e) == -- Only called from the function genDeltaEntry below form is '$ => [] - ident? form and (u:=get(form,'value,$e)) => - u:=u.expr - builtinConstructor? KAR u => listOfBoundVars u + ident? form and (u:=get(form,'value,e)) => + u := u.expr + builtinConstructor? KAR u => listOfBoundVars(u,e) [form] form isnt [.,:.] => [] first form is 'QUOTE => [] -- We don't want to pick up the tag, only the domain - first form = ":" => listOfBoundVars third form + first form = ":" => listOfBoundVars(third form,e) first form = "Enumeration" => [] - "union"/[listOfBoundVars x for x in rest form] + "union"/[listOfBoundVars(x,e) for x in rest form] dbEntitySlot(db,x) == @@ -157,12 +157,12 @@ markOperation f == ident? f => ['%external,f] f -optDeltaEntry(op,sig,dc,kind) == +optDeltaEntry(op,sig,dc,kind,e) == -- references to modemaps from current domain are folded in a later -- stage of the compilation process. dc is '$ => nil ndc := - dc isnt [.,:.] and (dcval := get(dc,'value,$e)) => dcval.expr + dc isnt [.,:.] and (T := get(dc,'value,e)) => T.expr dc sig := MSUBST(ndc,dc,sig) -- Don't bother if the domain of computation is not an instantiation @@ -170,11 +170,11 @@ optDeltaEntry(op,sig,dc,kind) == ndc isnt [.,:.] or not optimizableDomain? ndc => nil fun := lookupDefiningFunction(op,sig,ndc) -- following code is to handle selectors like first, rest - if fun = nil and needToQuoteFlags?(sig,$e) then - nsig := [quoteSelector tt for tt in sig] where - quoteSelector(x) == + if fun = nil and needToQuoteFlags?(sig,e) then + nsig := [quoteSelector(tt,e) for tt in sig] where + quoteSelector(x,e) == not(ident? x) => x - get(x,'value,$e) => x + get(x,'value,e) => x x='$ => x MKQ x fun := lookupDefiningFunction(op,nsig,ndc) @@ -205,7 +205,7 @@ genDeltaEntry(op,mm,e) == if dc isnt [.,:.] then dc = "$" => nsig := sig if integer? nsig then nsig := MSUBST("$",dc,substitute("$$","$",sig)) - setDifference(listOfBoundVars dc,$functorLocalParameters) ~= [] => + setDifference(listOfBoundVars(dc,e),$functorLocalParameters) ~= [] => ['%apply,['compiledLookupCheck,MKQ op, mkList consSig(db,nsig,dc),consDomainForm(db,dc,nil)]] odc := dc @@ -227,7 +227,7 @@ genDeltaEntry(op,mm,e) == dbUsedEntities(db) := [[desc,op,dc,:nsig,kind],:dbUsedEntities db] dbEntityCount(db) := dbEntityCount db + 1 n - impl := optDeltaEntry(op,nsig,dc,kind) => impl + impl := optDeltaEntry(op,nsig,dc,kind,e) => impl u ++ Return the slot number (within the template vector of the functor |