aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-19 04:16:43 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-19 04:16:43 -0800
commit9130fc21789dd3fc7c1a8c89dc992acfb54dbccd (patch)
treeb42cb9f365a75b6299fcb0942eba4be57d941416 /src/interp
parentd07fc9735f40e545edda456e15dbab783c500f6a (diff)
downloadopen-axiom-9130fc21789dd3fc7c1a8c89dc992acfb54dbccd.tar.gz
getConstructorCategory: get it from generated code for category constructors.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/database.boot5
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