aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2012-02-12 23:39:55 +0000
committerdos-reis <gdr@axiomatics.org>2012-02-12 23:39:55 +0000
commit5d7c7d1ece28d03ef06fcfe69e7128145bb27644 (patch)
tree4045598fa9fb8dbe5612b8e9c7416995ab303e5b /src/interp
parent2a55c3aecc924b89594512dbf5ea69480194b390 (diff)
downloadopen-axiom-5d7c7d1ece28d03ef06fcfe69e7128145bb27644.tar.gz
* interp/define.boot (depthAssocList): Take the cache as second
argument. Avoid globals. Adjust Callers. (depthAssoc): Likewise. Adjust Caller. (NRTmakeCategoryAlist): Remove uses of $depthAssocCache.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/define.boot20
1 files changed, 9 insertions, 11 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot
index f050037d..e418aae0 100644
--- a/src/interp/define.boot
+++ b/src/interp/define.boot
@@ -447,25 +447,23 @@ makeCompactSigCode sig == [fn for x in sig] where
--=======================================================================
-- Generate Slot 4 Constructor Vectors
--=======================================================================
-depthAssocList u ==
+depthAssocList(u,cache) ==
u := removeSymbol(u,'DomainSubstitutionMacro) --hack by RDJ 8/90
- removeDuplicates ("append"/[depthAssoc(y) for y in u])
+ removeDuplicates ("append"/[depthAssoc(y,cache) for y in u])
-depthAssoc x ==
- y := tableValue($depthAssocCache,x) => y
+depthAssoc(x,cache) ==
+ y := tableValue(cache,x) => y
x is ['Join,:u] or (u := getCatAncestors x) =>
- v := depthAssocList u
- tableValue($depthAssocCache,x) := [[x,:n],:v]
+ v := depthAssocList(u,cache)
+ tableValue(cache,x) := [[x,:n],:v]
where n() == 1 + "MAX"/[rest y for y in v]
- tableValue($depthAssocCache,x) := [[x,:0]]
+ tableValue(cache,x) := [[x,:0]]
getCatAncestors x == [CAAR y for y in parentsOf opOf x]
NRTmakeCategoryAlist(db,e) ==
- $depthAssocCache: local := hashTable 'EQ
- $catAncestorAlist: local := nil
- pcAlist := [:[[x,:"T"] for x in $uncondAlist],:$condAlist]
- $levelAlist: local := depthAssocList [CAAR x for x in pcAlist]
+ pcAlist := [:[[x,:true] for x in $uncondAlist],:$condAlist]
+ $levelAlist: local := depthAssocList([CAAR x for x in pcAlist],hashTable 'EQ)
opcAlist := sortBy(function NRTcatCompare,pcAlist)
newPairlis := [[5 + i,:b] for [.,:b] in dbFormalSubst db for i in 1..]
slot1 := [[a,:k] for [a,:b] in dbSubstituteAllQuantified(db,opcAlist)