From 44936f3d978b3a47cc67a3a51fe43030b24e0a9e Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 18 Aug 2011 14:03:04 +0000 Subject: * 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. --- src/algebra/domain.spad.pamphlet | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/algebra') 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 -- cgit v1.2.3