diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-02-11 22:11:12 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-02-11 22:11:12 +0000 |
| commit | 781631cd9f14832777f85bb33e49cccba1365abd (patch) | |
| tree | 66582b504c8b232048f8c26ac82eb002bc7139bf /src/interp | |
| parent | 14cbb5c5efc0719d27a30708f63fa869df02646d (diff) | |
| download | open-axiom-781631cd9f14832777f85bb33e49cccba1365abd.tar.gz | |
(ancestorsRecur): Likewise.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/br-data.boot | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/interp/br-data.boot b/src/interp/br-data.boot index 6c8c5d38..ab28dc08 100644 --- a/src/interp/br-data.boot +++ b/src/interp/br-data.boot @@ -587,14 +587,13 @@ ancestorsRecur(conform,domform,pred,firstTime?) == --called by ancestorsOf op := opOf conform pred = tableValue($done,conform) => nil --skip if already processed parents := - firstTime? and ($insideCategoryIfTrue or $insideFunctorIfTrue) => - dbPrincipals constructorDB op + firstTime? => dbPrincipals constructorDB op parentsOf op originalConform := firstTime? and ($insideCategoryIfTrue or $insideFunctorIfTrue) => $form getConstructorForm op if conform ~= originalConform then - parents := applySubst(pairList(IFCDR originalConform,IFCDR conform),parents) + parents := applySubst(pairList(originalConform.args,conform.args),parents) for [newform,:p] in parents repeat if domform and domform.args then newdomform := applySubst(pairList(conform.args,domform.args),newform) |