diff options
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index e3e266fb..f9e41788 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -72,6 +72,16 @@ makeConstructor(s,k == nil,a == nil) == --% +++ Access to the default constructor of a category. +++ Note: Meaningful only for categories +macro dbConstructorDefault db == + dbLookupFunction db + +getCategoryConstructorDefault: %Symbol -> %Maybe %Symbol +getCategoryConstructorDefault ctor == + builtinConstructor? ctor => nil + dbConstructorDefault loadDBIfNecessary constructorDB ctor + getConstructorAbbreviationFromDB: %Symbol -> %Maybe %Symbol getConstructorAbbreviationFromDB ctor == db := constructorDB ctor => dbAbbreviation db |