diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-08 22:36:19 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-08 22:36:19 -0800 |
commit | 2ef9a67216e957e9e80d882597524ce52792a8dc (patch) | |
tree | bad64aea63b95026658704c92bd97e8054d6c3eb /src | |
parent | 02602cec744a60cb096048f1637c17759f57e66b (diff) | |
download | open-axiom-2ef9a67216e957e9e80d882597524ce52792a8dc.tar.gz |
Remove dead codes.
Diffstat (limited to 'src')
-rw-r--r-- | src/interp/cattable.boot | 26 | ||||
-rw-r--r-- | src/interp/nrunfast.boot | 5 | ||||
-rw-r--r-- | src/interp/sys-globals.boot | 3 |
3 files changed, 0 insertions, 34 deletions
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index 5a1fb213..89bdc430 100644 --- a/src/interp/cattable.boot +++ b/src/interp/cattable.boot @@ -71,9 +71,7 @@ genCategoryTable() == for [a,:b] in encodeCategoryAlist(id,entry) repeat tableValue($HasCategoryTable,[id,:a]) := b simpTempCategoryTable() - -- compressHashTable $AncestorsTable simpCategoryTable() - -- compressHashTable $HasCategoryTable simpTempCategoryTable() == for [id,:.] in entries $AncestorsTable repeat @@ -427,29 +425,15 @@ compressSexpr(x,left,right) == tableValue($found,x) := x updateCategoryTable(cname,kind) == - $updateCatTableIfTrue => - kind is 'package => nil - kind is 'category => updateCategoryTableForCategory(cname) - updateCategoryTableForDomain(cname,getConstrCat( - getConstructorCategory cname)) kind is 'domain => updateCategoryTableForDomain(cname,getConstrCat( getConstructorCategory cname)) -updateCategoryTableForCategory(cname) == - clearTempCategoryTable([[cname,'category]]) - addToCategoryTable(cname) - for [id,:.] in entries $AncestorsTable repeat - for u in getConstructorAncestorsFromDB id repeat - u.rest := simpCatPredicate simpBool rest u - updateCategoryTableForDomain(cname,category) == clearCategoryTable(cname) [cname,:domainEntry]:= addDomainToTable(cname,category) for [a,:b] in encodeCategoryAlist(cname,domainEntry) repeat tableValue($HasCategoryTable,[cname,:a]) := b - $doNotCompressHashTableIfTrue => $HasCategoryTable - -- compressHashTable $HasCategoryTable clearCategoryTable($cname) == MAPHASH('clearCategoryTable1,$HasCategoryTable) @@ -457,13 +441,3 @@ clearCategoryTable($cname) == clearCategoryTable1(key,val) == key.op = $cname => tableRemove!($HasCategoryTable,key) nil - -clearTempCategoryTable(catNames) == - for [key,:.] in entries $AncestorsTable repeat - symbolMember?(key,catNames) => nil - extensions:= nil - for (extension:= [catForm,:.]) in getConstructorAncestorsFromDB key - repeat - symbolMember?(catForm.op,catNames) => nil - extensions:= [extension,:extensions] - tableValue($AncestorsTable,key) := extensions diff --git a/src/interp/nrunfast.boot b/src/interp/nrunfast.boot index 10b86a5f..db167138 100644 --- a/src/interp/nrunfast.boot +++ b/src/interp/nrunfast.boot @@ -39,9 +39,6 @@ module nrunfast where getOpCode: (%Symbol, %Vector %Thing, %Short) -> %Maybe %Short ++ -$doNotCompressHashTableIfTrue := false - -++ $monitorNewWorld := false ++ @@ -57,8 +54,6 @@ initNewWorld() == $monitorNewWorld := false $spadLibFT := 'NRLIB $NRTmonitorIfTrue := false - $updateCatTableIfTrue := false - $doNotCompressHashTableIfTrue := true getDomainByteVector dom == CDDR domainData dom diff --git a/src/interp/sys-globals.boot b/src/interp/sys-globals.boot index 4e815fdd..5cffb749 100644 --- a/src/interp/sys-globals.boot +++ b/src/interp/sys-globals.boot @@ -182,9 +182,6 @@ $traceletFunctions := [] $useDCQnotLET := false ++ -$updateCatTableIfTrue := false - -++ $TranslateOnly := false ++ |