diff options
author | dos-reis <gdr@axiomatics.org> | 2011-07-13 08:02:02 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-07-13 08:02:02 +0000 |
commit | fafd79de190f215a8f1767631b4792ada11518ef (patch) | |
tree | eb6aa053dde33bc6c459f7cc02ecf0d243618eca /src/interp/category.boot | |
parent | e69eb5b6621cadee088a0d621cb61b16676acd91 (diff) | |
download | open-axiom-fafd79de190f215a8f1767631b4792ada11518ef.tar.gz |
* interp/category.boot: Remove dead codes.
* interp/define.boot (hasFullSignature): Tidy.
Diffstat (limited to 'src/interp/category.boot')
-rw-r--r-- | src/interp/category.boot | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index 11abb5c3..9ce65944 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -216,7 +216,6 @@ mkOr(a,b) == a=true => true b=true => true b=a => a ---PRETTYPRINT ("Condition merging",a,b) l:= a is ["OR",:a'] => (b is ["OR",:b'] => union(a',b'); mkOr2(b,a') ) @@ -252,7 +251,6 @@ mkAnd(a,b) == a=true => b b=true => a b=a => a - --PRETTYPRINT ("Condition merging",a,b) l:= a is ["AND",:a'] => (b is ["AND",:b'] => union(a',b'); mkAnd2(b,a') ) @@ -360,12 +358,6 @@ CatEval x == $e compMakeCategoryObject(x,e).expr ---RemovePrinAncs(l,leaves) == --- l=nil => nil --- leaves:= [first y for y in leaves] --- --remove the slot pointers --- [x for x in l | not AncestorP(x.0,leaves)] - AncestorP: (%Form, %List %Instantiation) -> %Form AncestorP(xname,leaves) == -- checks for being a principal ancestor of one of the leaves |