diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-07 04:51:50 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-07 04:51:50 -0800 |
commit | 191de261d5a6dde0e287e33431f9a62a36f67ffa (patch) | |
tree | 67b21031881f18233b9636a884603a033daa8de2 /src/interp/define.boot | |
parent | 4235e2d5a50959dfd6813f4c854abcc7f3b65639 (diff) | |
download | open-axiom-191de261d5a6dde0e287e33431f9a62a36f67ffa.tar.gz |
computeAncestorsOf: First parameter is now a DB for the the constructor.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 299d0304..42bcf4df 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1176,7 +1176,7 @@ compDefineCategory2(db,form,signature,body,m,e,$formalArgList) == dbConstructorModemap(db) := [[parForm,:parSignature],[buildConstructorCondition db,$op]] dbPrincipals(db) := getParentsFor db - dbAncestors(db) := computeAncestorsOf(form,nil) + dbAncestors(db) := computeAncestorsOf(db,nil) dbModemaps(db) := modemapsFromCategory(db,[op',:sargl],formalBody,signature') [fun,$Category,e] @@ -1569,7 +1569,7 @@ compDefineFunctor1(db,df is ['DEF,form,signature,body],m,$e,$formalArgList) == -- 5. dbPrincipals(db) := getParentsFor db - dbAncestors(db) := computeAncestorsOf($form,nil) + dbAncestors(db) := computeAncestorsOf(db,nil) $insideFunctorIfTrue:= false if not $bootStrapMode then dbLookupFunction(db) := NRTgetLookupFunction(db,$NRTaddForm,tbl,$e) |