diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-02 10:53:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 10:53:56 +0000 |
commit | e694e02b3c8e9ae322df7440a29c3011a11503e7 (patch) | |
tree | 5dbeebcf26c3be930421b77d688384f0e19f8f5b /src/interp/br-op1.boot | |
parent | 6835b7615420cbb3d0db15c2a5ab1c5785ff40dd (diff) | |
download | open-axiom-e694e02b3c8e9ae322df7440a29c3011a11503e7.tar.gz |
More cleanups
Diffstat (limited to 'src/interp/br-op1.boot')
-rw-r--r-- | src/interp/br-op1.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/br-op1.boot b/src/interp/br-op1.boot index 41409eb1..6790d805 100644 --- a/src/interp/br-op1.boot +++ b/src/interp/br-op1.boot @@ -393,7 +393,7 @@ dbGatherDataImplementation(htPage,opAlist) == which := '"operation" [nam,:$domainArgs] := domainForm $predicateList: local := getConstructorPredicatesFromDB nam - predVector := vectorRef(dom,3) + predVector := domainPredicates dom u := getDomainOpTable(dom,true,ASSOCLEFT opAlist) --u has form ((op,sig,:implementor)...) --sort into 4 groups: domain exports, unexports, default exports, others @@ -995,7 +995,7 @@ evalDomainOpPred(dom,pred) == process(dom,pred) where attPredIndex := LASSOC(a,dom.2) null attPredIndex => nil attPredIndex = 0 => true - testBitVector(dom.3,attPredIndex) + testBitVector(domainPredicates dom,attPredIndex) nil pred is 'T => true systemError '"unknown atomic predicate form" |