diff options
author | dos-reis <gdr@axiomatics.org> | 2011-09-05 00:58:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-09-05 00:58:16 +0000 |
commit | ce7aedf615e201aedf7f21d8aa18b2657dd56c3d (patch) | |
tree | 35bcf595ee42209deed61c9e4fb0726a0810d677 /src/interp/nrunfast.boot | |
parent | 65ee234606464f1b5c614ff6d612095bf7520aa5 (diff) | |
download | open-axiom-ce7aedf615e201aedf7f21d8aa18b2657dd56c3d.tar.gz |
* interp/daase.lisp (GETDATABASE): Do not handle PREDICATES and
ATTRIBUTES selectors anymore.
* interp/database.boot (getConstructorPredicates): Rename from
getConstructorPredicatesFromDB. Adjust callers.
(getConstructorAttributes): Rename from getConstructorAttributesFromDB.
Adjust callers.
Diffstat (limited to 'src/interp/nrunfast.boot')
-rw-r--r-- | src/interp/nrunfast.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/nrunfast.boot b/src/interp/nrunfast.boot index eba02971..de732ec2 100644 --- a/src/interp/nrunfast.boot +++ b/src/interp/nrunfast.boot @@ -665,7 +665,7 @@ newHasTest(domform,catOrAtt) == -- on second thoughts we won't! categoryForm? domform => domform = catOrAtt => 'T - for [aCat,:cond] in [:ancestorsOf(domform,nil),:applySubst(pairList($FormalMapVariableList,rest domform),getConstructorAttributesFromDB(opOf domform))] | aCat = catOrAtt repeat + for [aCat,:cond] in [:ancestorsOf(domform,nil),:applySubst(pairList($FormalMapVariableList,rest domform),getConstructorAttributes(opOf domform))] | aCat = catOrAtt repeat return evalCond cond where evalCond x == x isnt [.,:.] => x |