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/algebra/domain.spad.pamphlet | |
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/algebra/domain.spad.pamphlet')
-rw-r--r-- | src/algebra/domain.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet index 456680dc..501d7b2a 100644 --- a/src/algebra/domain.spad.pamphlet +++ b/src/algebra/domain.spad.pamphlet @@ -399,18 +399,18 @@ Category(): Public == Private where ++ extended by the category `c'. Private == add constructor x == - %head(devaluate(x)$Lisp)$Foreign(Builtin) + %head(devaluate(x)$Foreign(Builtin))$Foreign(Builtin) exportedOperators c == [%head(x)$Foreign(Builtin)@OperatorSignature - for x in categoryExports(c)$Lisp@List(Syntax)] + for x in categoryExports(c)$Foreign(Builtin)@List(Syntax)] principalAncestors c == - getCategoryPrincipalAncestors(c)$Lisp + categoryPrincipals(c)$Foreign(Builtin) parents c == [%head(x)$Foreign(Builtin)@ConstructorCall(CategoryConstructor) - for x in getCategoryParents(c)$Lisp@List(Syntax)] + for x in categoryAncestors(c)$Foreign(Builtin)@List(Syntax)] coerce x == outputDomainConstructor(x)$Lisp |