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/interp/database.boot | |
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/interp/database.boot')
-rw-r--r-- | src/interp/database.boot | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 22af0aac..632867f3 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -113,13 +113,14 @@ getConstructorArgsFromDB ctor == ++ returns a list of Boolean values indicating whether the ++ parameter type at the corresponding position is a category. -getDualSignatureFromDB: %Constructor -> %Form -getDualSignatureFromDB ctor == - GETDATABASE(ctor,"COSIG") +getDualSignature: %Constructor -> %Form +getDualSignature ctor == + db := constructorDB ctor or return nil + dbDualSignature db or GETDATABASE(ctor,'COSIG) getConstructorPredicates: %Constructor -> %List %Thing getConstructorPredicates ctor == - dbPredicates loadDBIfnecessary constructorDB ctor + dbPredicates loadDBIfNecessary constructorDB ctor getConstructorParentsFromDB: %Constructor -> %List %Constructor getConstructorParentsFromDB ctor == @@ -131,7 +132,7 @@ getSuperDomainFromDB ctor == getConstructorAttributes: %Constructor -> %Form getConstructorAttributes ctor == - dbAttributes loadDBIfnecessary constructorDB ctor + dbAttributes loadDBIfNecessary constructorDB ctor niladicConstructor?: %Constructor -> %Boolean niladicConstructor? ctor == @@ -829,7 +830,7 @@ printAllInitdbInfo(srcdir,dbfile) == dbLoaded? db == dbLoadPath db ~= nil -loadDBIfnecessary db == +loadDBIfNecessary db == ctor := dbConstructor db dbLoaded? db => db loadLib ctor or return nil |