diff options
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 |