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/functor.boot | |
| parent | 11d248ec080ec30cecf1f89f1e59db8e1aa33565 (diff) | |
| download | open-axiom-065dc716ace343dc72a3c87201bdf43b67b039ed.tar.gz | |
Remove $domainShell.
Diffstat (limited to 'src/interp/functor.boot')
| -rw-r--r-- | src/interp/functor.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/functor.boot b/src/interp/functor.boot index 2955caa6..19711b83 100644 --- a/src/interp/functor.boot +++ b/src/interp/functor.boot @@ -581,7 +581,7 @@ InvestigateConditions(db,catvecListMaker,env) == null $Conditions => [true,:[true for u in secondaries]] PrincipalSecondaries:= getViewsConditions principal' MinimalPrimary:= first first PrincipalSecondaries - MaximalPrimary := first categoryPrincipals $domainShell + MaximalPrimary := first categoryPrincipals dbDomainShell db necessarySecondaries:= [first u for u in PrincipalSecondaries | rest u=true] and/[listMember?(u,necessarySecondaries) for u in secondaries] => [true,:[true for u in secondaries]] @@ -736,8 +736,8 @@ getViewsConditions u == DescendCodeVarAdd(db,base,flag) == [SetFunctionSlots(sig,implem,flag,'adding) repeat - for i in 6..maxIndex $domainShell | - categoryRef($domainShell,i) is [sig:=[op,types],:.] and + for i in 6..maxIndex dbDomainShell db | + categoryRef(dbDomainShell db,i) is [sig:=[op,types],:.] and LASSOC([base,:substitute(base,'$,types)],get(op,'modemap,$e)) is [[pred,implem]]] |