diff options
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 7517e834..fc13f773 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -72,7 +72,7 @@ makeConstructor(s,k == nil,a == nil) == --% -getConstructorAbbreviationFromDB: %Symbol -> %Symbol +getConstructorAbbreviationFromDB: %Symbol -> %Maybe %Symbol getConstructorAbbreviationFromDB ctor == db := constructorDB ctor => dbAbbreviation db nil @@ -85,7 +85,8 @@ getConstructorCategory ctor == getConstructorKindFromDB: %Symbol -> %Maybe %ConstructorKind getConstructorKindFromDB ctor == - GETDATABASE(ctor,"CONSTRUCTORKIND") + db := constructorDB ctor => dbConstructorKind db + nil getConstructorAncestorsFromDB: %Symbol -> %List %Constructor getConstructorAncestorsFromDB ctor == |