diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-08 09:38:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-08 09:38:08 +0000 |
| commit | f1c3cadf07d4409afe5e4f895a00b2389653ed69 (patch) | |
| tree | 108468e86e2c8459585ee4d92331ba6276541d47 /src/interp/category.boot | |
| parent | 96970bdaca77f0abe493ff791d9c42b8f79bb80d (diff) | |
| download | open-axiom-f1c3cadf07d4409afe5e4f895a00b2389653ed69.tar.gz | |
* interp/c-util.boot (categoryHierarchy): New.
* interp/category.boot (mkCategory): Use it.
* interp/define.boot (NRTgetLookupFunction): Tidy.
(catExtendsCat?): Lose last argument. Adjust callers.
Diffstat (limited to 'src/interp/category.boot')
| -rw-r--r-- | src/interp/category.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index 1a9073e2..80d1fe86 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -120,10 +120,10 @@ mkCategory(domainOrPackage,sigList,attList,domList,PrincipalAncestor) == if PrincipalAncestor ~= nil then for x in 6..#PrincipalAncestor-1 repeat categoryRef(v,x) := PrincipalAncestor.x - categoryRef(v,4) := + categoryHierarchy(v) := [first PrincipalAncestor.4,second PrincipalAncestor.4,OldLocals] else - categoryRef(v,4) := [nil,nil,OldLocals] --associated categories and domains + categoryHierarchy(v) := [nil,nil,OldLocals] categoryRef(v,5) := domList for [nsig,:n] in NSigList repeat categoryRef(v,n) := nsig |