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/interp/database.boot | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'src/interp/database.boot') 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 -- cgit v1.2.3