diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-21 00:32:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-21 00:32:29 +0000 |
| commit | 5a13a06991b339fa8d7cff2fafc3175d0615c28a (patch) | |
| tree | c03805baacb8ce501eb49af9aa8990cd3c7161db /src/interp/database.boot | |
| parent | e30c70e6661aff69dcf8f4752ed6679e4ce41fcf (diff) | |
| download | open-axiom-5a13a06991b339fa8d7cff2fafc3175d0615c28a.tar.gz | |
Use DB data structure directly.
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 == |