From 065dc716ace343dc72a3c87201bdf43b67b039ed Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 28 May 2013 07:09:25 +0000 Subject: Remove $domainShell. --- src/interp/functor.boot | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/interp/functor.boot') 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]]] -- cgit v1.2.3