aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-06-01 16:28:58 +0000
committerdos-reis <gdr@axiomatics.org>2013-06-01 16:28:58 +0000
commitdf4fac6bb2474dd807709dbc2f8142ca6c513337 (patch)
tree92ff0b4c21a41d0680317434649d026e134eec99 /src/interp
parent64aeafac79d72f440b6546bae91583e6efd6b674 (diff)
downloadopen-axiom-df4fac6bb2474dd807709dbc2f8142ca6c513337.tar.gz
* interp/category.boot (filterConditionalCategories): Fix thinko.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/category.boot3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot
index cdacc6b4..b018b875 100644
--- a/src/interp/category.boot
+++ b/src/interp/category.boot
@@ -382,11 +382,12 @@ filterConditionalCategories(l,e) ==
unconditionals := [CatEval(at,e),:unconditionals]
pred isnt ["and",:.] =>
conditionals := [[CatEval(at,e),pred],:conditionals]
+ -- Predicate is a conjunctive; decompose it.
pred' := [x for x in pred.args |
not listMember?(x,get("$Information","special",e))
and x isnt true]
pred' = nil => unconditionals := [CatEval(at,e),:unconditionals]
- pred' is [.] => conditionals := [[CatEval(at,e),pred'],:conditionals]
+ pred' is [x] => conditionals := [[CatEval(at,e),x],:conditionals]
conditionals := [[CatEval(at,e),["and",:pred']],:conditionals]
[conditionals,reverse! unconditionals]