diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-28 07:09:25 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-28 07:09:25 +0000 |
| commit | 065dc716ace343dc72a3c87201bdf43b67b039ed (patch) | |
| tree | 52ed79a149868e20503e54f1ff88ddb2b7c1cad9 /src/interp/nruncomp.boot | |
| parent | 11d248ec080ec30cecf1f89f1e59db8e1aa33565 (diff) | |
| download | open-axiom-065dc716ace343dc72a3c87201bdf43b67b039ed.tar.gz | |
Remove $domainShell.
Diffstat (limited to 'src/interp/nruncomp.boot')
| -rw-r--r-- | src/interp/nruncomp.boot | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index d73344de..33539fa0 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -437,7 +437,6 @@ buildFunctor(db,sig,code,$locals,$e) == -- this list is not augmented by this function -- $e: environment --GLOBAL VARIABLES REFERENCED: --- $domainShell: passed in from compDefineFunctor1 -- $QuickCode: compilation flag $definition: local := dbConstructorForm db [name,:args] := $definition @@ -466,7 +465,7 @@ buildFunctor(db,sig,code,$locals,$e) == [$catsig,:argsig] := sig catvecListMaker := removeDuplicates [comp($catsig,$EmptyMode,$e).expr, - :[compCategories(u,$e) for [u,:.] in categoryAncestors $domainShell]] + :[compCategories(u,$e) for [u,:.] in categoryAncestors dbDomainShell db]] condCats := InvestigateConditions(db,[$catsig,:rest catvecListMaker],$e) -- a list, one %for each element of catvecListMaker -- indicating under what conditions this @@ -555,7 +554,7 @@ NRTsetVector4a(db,sig,form,cond) == sig is '$ => domainList := [optimize comp(d,$EmptyMode,$e).expr or d - for d in categoryPrincipals $domainShell] + for d in categoryPrincipals dbDomainShell db] $uncondList := append(domainList,$uncondList) if isCategoryForm(form,$e) then $uncondList := [form,:$uncondList] $uncondList @@ -575,7 +574,7 @@ NRTmakeSlot1Info db == [[first dbParameters db,:'_$],:dbFormalSubst db] dbFormalSubst db exports := - transformOperationAlist applySubst(pairlis,categoryExports $domainShell) + transformOperationAlist applySubst(pairlis,categoryExports dbDomainShell db) opList := $NRTderivedTargetIfTrue => 'derived $insideCategoryPackageIfTrue => slot1Filter exports @@ -613,7 +612,7 @@ changeDirectoryInSlot1 db == --called by buildFunctor -- if called inside buildFunctor, dbEntityCount gives different locs -- otherwise called from compFunctorBody (all lookups are forwarded): -- dbUsedEntities = nil ===> all slot numbers become nil - $lisplibOperationAlist := [sigloc(db,entry) for entry in categoryExports $domainShell] where + $lisplibOperationAlist := [sigloc(db,entry) for entry in categoryExports dbDomainShell db] where sigloc(db,[opsig,pred,fnsel]) == if pred isnt true then pred := simpBool pred @@ -627,7 +626,7 @@ changeDirectoryInSlot1 db == --called by buildFunctor copyList $lisplibOperationAlist,function second) $lastPred: local := false $newEnv: local := $e - categoryExports($domainShell) := [fn(db,entry) for entry in sortedOplist] where + categoryExports(dbDomainShell db) := [fn(db,entry) for entry in sortedOplist] where fn(db,[[op,sig],pred,fnsel]) == if $lastPred ~= pred then $newEnv := deepChaseInferences(pred,$e) |