From df4fac6bb2474dd807709dbc2f8142ca6c513337 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 1 Jun 2013 16:28:58 +0000 Subject: * interp/category.boot (filterConditionalCategories): Fix thinko. --- src/interp/category.boot | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/interp') 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] -- cgit v1.2.3