diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-08 11:04:32 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-08 11:04:32 -0800 |
commit | 4b6362cf4588e70357d39981088e0b86913dc637 (patch) | |
tree | 1b605794ba132d1d4fbbf984ecc65002eb5df0ad /src/interp/br-data.boot | |
parent | abf2e9a984ff37dc292233d79bd64b7460427788 (diff) | |
download | open-axiom-4b6362cf4588e70357d39981088e0b86913dc637.tar.gz |
Replace \*HASCATEGORY-HASH\* with $HasCategoryTable
Diffstat (limited to 'src/interp/br-data.boot')
-rw-r--r-- | src/interp/br-data.boot | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/interp/br-data.boot b/src/interp/br-data.boot index 8d8e7635..1f182810 100644 --- a/src/interp/br-data.boot +++ b/src/interp/br-data.boot @@ -36,9 +36,6 @@ import bc_-util import nruncomp namespace BOOT -lefts u == - [x for [x,:.] in entries _*HASCATEGORY_-HASH_* | rest x = u] - --============================================================================ -- Build Library Database (libdb.text,...) --============================================================================ @@ -583,7 +580,7 @@ ancestorsAdd(pred,form) == --called by ancestorsRecur domainsOf(conform,domname,:options) == $hasArgList := IFCAR options conname := opOf conform - u := [key for [key,:.] in entries _*HASCATEGORY_-HASH_* + u := [key for [key,:.] in entries $HasCategoryTable | key is [anc,: =conname]] --u is list of pairs (a . b) where b() = conname --we sort u then replace each b by the predicate for which this is true |