From 6e67d369c25e19452a8a76a3864a63c5860e7cd3 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 7 Sep 2011 22:38:03 +0000 Subject: * interp/lisplib.boot (finalizeLisplib): Finalize documentaion only if not bootstrapping. (isFunctor): Tidy. * interp/g-util.boot (superType): Tidy. * interp/database.boot (getDualSignature): Rename from getDualSignatureFromDB. Adjust callers. * interp/c-util.boot (isKnownCategory): Remove. (diagnoseUnknownType): Use isCategoryForm. * interp/bootlex.lisp (GET-INTEGER-IN-RADIX): Use SPAD_SYNTAX_ERROR. * interp/metalex.lisp (GET-STRING-TOKEN): Likewise. * interp/parsing.lisp (MUST): Likewise. * algebra/boolean.spad.pamphlet (Refrence) [coerce]: Bypass conversion to Identifier. * algebra/domain.spad.pamphlet (ContructorKind): Tidy. --- src/algebra/domain.spad.pamphlet | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/algebra/domain.spad.pamphlet') diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet index dc9ea2f8..4fc644c9 100644 --- a/src/algebra/domain.spad.pamphlet +++ b/src/algebra/domain.spad.pamphlet @@ -29,9 +29,9 @@ ConstructorKind(): Public == Private where domain: % ++ `domain' is the kind of domain constructors package: % ++ `package' is the kind of package constructors. Private == add - category == 'category : % - domain == 'domain : % - package == 'package : % + category == %categoryKind$Foreign(Builtin) + domain == %domainKind$Foreign(Builtin) + package == %packageKind$Foreign(Builtin) k1 = k2 == %peq(k1,k2)$Foreign(Builtin) coerce(k: %): OutputForm == k : OutputForm -- cgit v1.2.3