diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-16 03:39:25 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-16 03:39:25 +0000 |
| commit | 1c92a8f36879b5a91b7be0f324a05b6507e0e45e (patch) | |
| tree | a343bf53de65e0aec2e8c7f54bf8c3b928532c3c /src/interp/category.boot | |
| parent | a256754dde74572366b86cbc2d258f2e66a8e0a5 (diff) | |
| download | open-axiom-1c92a8f36879b5a91b7be0f324a05b6507e0e45e.tar.gz | |
* interp/category.boot (JoinInner): Remove effective dead code
controlled by originalvector which has non-changing value false.
Diffstat (limited to 'src/interp/category.boot')
| -rw-r--r-- | src/interp/category.boot | 30 |
1 files changed, 2 insertions, 28 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index 82227846..f6c2932d 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -401,10 +401,9 @@ JoinInner(l,$e) == FundamentalAncestors := categoryAncestors principal if principal.0 then FundamentalAncestors := [[principal.0],:FundamentalAncestors] - copied := false -- we can not decide to extend the vector in multiple ways -- this flag helps us detect this case - originalVector := false + copied := false -- this skips buggy code which discards needed categories for [b,condition] in FindFundAncs(l',$e) | bname := b.0 repeat CondAncestorP(bname,FundamentalAncestors,condition,$e) => nil @@ -437,32 +436,7 @@ JoinInner(l,$e) == copied := true if ancindex then principal.ancindex := bname - reallynew := nil - else if originalVector and condition is true then - principal := CatEval(bname,$e) - copied := nil - FundamentalAncestors := [[bname],:categoryAncestors principal] - --bname is Principal, so comes first - reallynew := nil - objectMember?(b,l) => - --objectMember? since category vectors are guaranteed unique - sigl := categoryExports principal - attl := categoryAttributes principal - l := remove(l,b) - CondList := remove(CondList,objectAssoc(b,CondList)) - globalDomains := categoryParameters principal - for u in categoryExports principal repeat - if not listMember?(u,sigl) then - [s,c,i] := u - sigl := - c is true => [[s,condition,i],:sigl] - [[s,["and",condition,c],i],:sigl] - for u in categoryAttributes principal repeat - if not listMember?(u,attl) then - [a,c] := u - attl := - c is true => [[a,condition],:attl] - [[a,["and",condition,c]],:attl] + reallynew := false if reallynew then n := # principal FundamentalAncestors := [[b.0,condition,n],:FundamentalAncestors] |