From 44936f3d978b3a47cc67a3a51fe43030b24e0a9e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
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/domain.spad.pamphlet')

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