diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-06-01 16:28:58 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-06-01 16:28:58 +0000 |
| commit | df4fac6bb2474dd807709dbc2f8142ca6c513337 (patch) | |
| tree | 92ff0b4c21a41d0680317434649d026e134eec99 /src/interp | |
| parent | 64aeafac79d72f440b6546bae91583e6efd6b674 (diff) | |
| download | open-axiom-df4fac6bb2474dd807709dbc2f8142ca6c513337.tar.gz | |
* interp/category.boot (filterConditionalCategories): Fix thinko.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/category.boot | 3 |
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] |