diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-06-15 17:26:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-06-15 17:26:52 +0000 |
| commit | 7303361dd90960937f442ae36818ef3ab933ff31 (patch) | |
| tree | 0461af6939ff1efdf5f2330045c4a5857f756175 | |
| parent | 22a6f56b6009ac7cdbc4d38ef4ab6f7bfa46dc44 (diff) | |
| download | open-axiom-7303361dd90960937f442ae36818ef3ab933ff31.tar.gz | |
Small cleanup in buildFunctor.
| -rw-r--r-- | src/interp/nruncomp.boot | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 728f3e99..18463c04 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -448,7 +448,6 @@ buildFunctor(db,sig,code,$locals,$e) == --LOCAL BOUND FLUID VARIABLES: $GENNO: local:= 0 --bound in compDefineFunctor1, then as parameter here $hasCategoryAlist: local := nil --list of GENSYMs bound to (HasCategory ..) items - $catsig: local := nil --target category $SetFunctions: local := nil --copy of p view with preds telling when fnct defined $ConstantAssignments: local := nil --code for creation of constants $epilogue: local := nil --code to set slot 5, things to be done last @@ -462,12 +461,12 @@ buildFunctor(db,sig,code,$locals,$e) == --category membership tests that may be needed(see buildFunctor for details) oldtime:= TEMPUS_-FUGIT() - [$catsig,:argsig] := sig + [catsig,:argsig] := sig catvecListMaker := removeDuplicates - [comp($catsig,$EmptyMode,$e).expr, + [comp(catsig,$EmptyMode,$e).expr, :[compCategories(u,$e) for [u,:.] in categoryAncestors dbDomainShell db]] tbl := makeTable function valueEq? - condCats := InvestigateConditions(db,[$catsig,:rest catvecListMaker],tbl,$e) + condCats := InvestigateConditions(db,[catsig,:rest catvecListMaker],tbl,$e) -- a list, one %for each element of catvecListMaker -- indicating under what conditions this -- category should be present. true => always |