diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-07-14 00:29:27 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-07-14 00:29:27 +0000 |
| commit | 6d1f2b4e6a2a874bdda936fb17f20fee84649857 (patch) | |
| tree | 3dcf66b0ac71d36180355b6773da4aead3532ad8 /src/interp/category.boot | |
| parent | 44050a23809cd331fc529cdf84063c23f6ed86dc (diff) | |
| download | open-axiom-6d1f2b4e6a2a874bdda936fb17f20fee84649857.tar.gz | |
* interp/functor.boot (CategoryPrint): Move from category.boot.
(DomainPrint1): Tidy.
(PacPrint): Likewise.
(DomainPrintSubst): Likewise.
Diffstat (limited to 'src/interp/category.boot')
| -rw-r--r-- | src/interp/category.boot | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index 23d5a042..ab079f88 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -60,28 +60,6 @@ isCategoryForm(x,e) == cons? u and categoryForm? u categoryForm? x ---% Functions for building categories - -CategoryPrint(D,$e) == - SAY "--------------------------------------" - SAY "Name (and arguments) of category:" - PRETTYPRINT canonicalForm D - SAY "operations:" - PRETTYPRINT categoryExports D - SAY "attributes:" - PRETTYPRINT D.2 - SAY "This is a sub-category of" - PRETTYPRINT first D.4 - for u in second D.4 repeat - SAY("This has an alternate view: slot ",rest u," corresponds to ",first u) - for u in third D.4 repeat - SAY("This has a local domain: slot ",rest u," corresponds to ",first u) - for j in 6..maxIndex D repeat - u:= D.j - null u => SAY "another domain" - atom first u => SAY("Alternate View corresponding to: ",u) - PRETTYPRINT u - ++ Returns a freshly built category object for a domain or package ++ (as indicated by `domainOrPackage'), with signature list ++ designated by `sigList', attribute list designated by `attList', |