diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-19 18:14:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-19 18:14:50 +0000 |
commit | faaf19e1912ba48e9fbd195d2b90c4e205c87538 (patch) | |
tree | 18a81dba1f12285383ba73beaeb8febb6606ea37 /src/interp/cattable.boot | |
parent | 9430f000bbcedcd6f0edbe1c4852cb2b51c50ccc (diff) | |
download | open-axiom-faaf19e1912ba48e9fbd195d2b90c4e205c87538.tar.gz |
cleanup
Diffstat (limited to 'src/interp/cattable.boot')
-rw-r--r-- | src/interp/cattable.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index 6104ef51..31671f2e 100644 --- a/src/interp/cattable.boot +++ b/src/interp/cattable.boot @@ -49,7 +49,7 @@ displayCategoryTable(:options) == SETQ($ct,hashTable 'EQ) for (key:=[a,:b]) in HKEYS _*HASCATEGORY_-HASH_* repeat HPUT($ct,a,[[b,:HGET(_*HASCATEGORY_-HASH_*,key)],:HGET($ct,a)]) - for id in HKEYS $ct | null conList or MEMQ(id,conList) repeat + for id in HKEYS $ct | null conList or symbolMember?(id,conList) repeat sayMSG [:bright id,'"extends:"] PRINT HGET($ct,id) @@ -279,7 +279,7 @@ isFormalArgumentList argl == mkCategoryExtensionAlist cform == not cons? cform => nil cop := first cform - MEMQ(cop, $CategoryNames) => mkCategoryExtensionAlistBasic cform + symbolMember?(cop, $CategoryNames) => mkCategoryExtensionAlistBasic cform catlist := formalSubstitute(cform, first getConstructorExports(cform, true)) extendsList:= nil for [cat,:pred] in catlist repeat @@ -488,11 +488,11 @@ clearCategoryTable1(key,val) == clearTempCategoryTable(catNames) == for key in HKEYS(_*ANCESTORS_-HASH_*) repeat - MEMQ(key,catNames) => nil + symbolMember?(key,catNames) => nil extensions:= nil for (extension:= [catForm,:.]) in getConstructorAncestorsFromDB key repeat - MEMQ(first catForm,catNames) => nil + symbolMember?(first catForm,catNames) => nil extensions:= [extension,:extensions] HPUT(_*ANCESTORS_-HASH_*,key,extensions) |