diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-18 14:03:04 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-18 14:03:04 +0000 |
commit | 44936f3d978b3a47cc67a3a51fe43030b24e0a9e (patch) | |
tree | 826342b00ebcbd4f173174885f3c92c71d1bdfd9 /src/ChangeLog | |
parent | 562e4ac985b89cf4fc8ff66119e3ca5b97bd9bb5 (diff) | |
download | open-axiom-44936f3d978b3a47cc67a3a51fe43030b24e0a9e.tar.gz |
* interp/c-util.boot (categoryAssociatedTypes): Rename from
categoryHierarchy. Adjust callers.
(categoryPrincipals): New.
(categoryAncestors): Likewise.
(categoryLocals): Likewise.
(categoryParameters): Likewise.
(extendsCategoryForm): Use them.
* interp/category.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/database.boot (getCategoryAttributes): Remove.
(getPrincipalAncestors): Likewise.
(getCategoryParents): Likewise.
* algebra/domain.spad.pamphlet (Category): Adjust.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 164311a1..93f7a46c 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,23 @@ +2011-08-18 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/c-util.boot (categoryAssociatedTypes): Rename from + categoryHierarchy. Adjust callers. + (categoryPrincipals): New. + (categoryAncestors): Likewise. + (categoryLocals): Likewise. + (categoryParameters): Likewise. + (extendsCategoryForm): Use them. + * interp/category.boot: Likewise. + * interp/cattable.boot: Likewise. + * interp/define.boot: Likewise. + * interp/functor.boot: Likewise. + * interp/modemap.boot: Likewise. + * interp/nruncomp.boot: Likewise. + * interp/database.boot (getCategoryAttributes): Remove. + (getPrincipalAncestors): Likewise. + (getCategoryParents): Likewise. + * algebra/domain.spad.pamphlet (Category): Adjust. + 2011-08-16 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/c-util.boot (categoryPrincipals): New. |