diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-09-07 22:38:03 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-09-07 22:38:03 +0000 |
| commit | 6e67d369c25e19452a8a76a3864a63c5860e7cd3 (patch) | |
| tree | a989ebee7f33a1998bd54372ee2a5f5c2bbcdb94 /src/algebra | |
| parent | 88c6450a9068d951752e06f5ee40d63de1e95fd8 (diff) | |
| download | open-axiom-6e67d369c25e19452a8a76a3864a63c5860e7cd3.tar.gz | |
* 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.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/boolean.spad.pamphlet | 2 | ||||
| -rw-r--r-- | src/algebra/domain.spad.pamphlet | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index a7ffceb4..7562b3b5 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -427,7 +427,7 @@ Reference(S:Type): Type with if S has SetCategory then coerce p == - prefix('ref::Identifier::OutputForm, [p.value::OutputForm]) + prefix('ref::OutputForm, [p.value::OutputForm]) @ 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 |