diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-02 02:49:19 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-02 02:49:19 -0800 |
commit | 785eee916bd22a098f04f12780d0415b44f52af6 (patch) | |
tree | 0b0610428ed2029120553f67eb08a8e9deada7cd /src/interp/database.boot | |
parent | 45c66ff4a930d68142472091c3ccc36c755b1f6e (diff) | |
download | open-axiom-785eee916bd22a098f04f12780d0415b44f52af6.tar.gz |
Rename dbConstructorDefault to dbDefaultPackage
And various cleanups.
Diffstat (limited to 'src/interp/database.boot')
-rw-r--r-- | src/interp/database.boot | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 091b2ff9..f7ba0516 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -41,10 +41,19 @@ import compat import daase namespace BOOT +module database where + dbForCategory? : %Maybe %Database -> %Boolean + $getUnexposedOperations := true $globalExposureGroupAlist := [] +--% + +++ This predicate holds if this DB is for a category constructor. +dbForCategory? db == + db ~= nil and dbConstructorKind db = 'category + --% pathToDatabase name == @@ -74,13 +83,13 @@ makeConstructor(s,k == nil,a == nil) == ++ Access to the default constructor of a category. ++ Note: Meaningful only for categories -macro dbConstructorDefault db == - dbLookupFunction db +macro dbDefaultPackage db == + dbSuperDomain db getCategoryConstructorDefault: %Symbol -> %Maybe %Symbol getCategoryConstructorDefault ctor == builtinConstructor? ctor => nil - dbConstructorDefault loadDBIfNecessary constructorDB ctor + dbDefaultPackage loadDBIfNecessary constructorDB ctor getConstructorAbbreviationFromDB: %Symbol -> %Maybe %Symbol getConstructorAbbreviationFromDB ctor == @@ -858,7 +867,7 @@ writeMinimalDB(lhs,rhs,path,dbfile) == writeNewline dbfile -- If this is a category with defaults, write out the data for -- associated package. - dbConstructorKind db isnt 'category or rhs isnt ['add,:.] => nil + not dbForCategory? db or rhs isnt ['add,:.] => nil data := [defaultPackageForm lhs,'package, makeDefaultPackageAbbreviation db,path] prettyPrint(['makeInitialDB,quote data],dbfile) |