diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-19 04:16:43 -0800 | 
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-19 04:16:43 -0800 | 
| commit | 9130fc21789dd3fc7c1a8c89dc992acfb54dbccd (patch) | |
| tree | b42cb9f365a75b6299fcb0942eba4be57d941416 /src/interp | |
| parent | d07fc9735f40e545edda456e15dbab783c500f6a (diff) | |
| download | open-axiom-9130fc21789dd3fc7c1a8c89dc992acfb54dbccd.tar.gz | |
getConstructorCategory: get it from generated code for category constructors.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/database.boot | 5 | 
1 files changed, 4 insertions, 1 deletions
| diff --git a/src/interp/database.boot b/src/interp/database.boot index e667ab74..1096c3eb 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -90,7 +90,10 @@ getConstructorAbbreviationFromDB ctor ==  getConstructorCategory: %Symbol -> %Form  getConstructorCategory ctor ==    getConstructorKindFromDB ctor = 'category => -    GETDATABASE(ctor,"CONSTRUCTORCATEGORY") +    db := constructorDB ctor +    if not dbBeingDefined? db and dbCategory db isnt [.,:.] then +      loadDBIfNecessary db +    dbCategory db    getConstructorModemap(ctor).mmTarget  getConstructorKindFromDB: %Symbol -> %Maybe %ConstructorKind | 
