diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-19 05:28:25 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-19 05:28:25 -0800 |
commit | 6c972c2a3ae6a6875417d7a8f9442c2abdc170ff (patch) | |
tree | fe442b95d4e941f9cd9ad0785b4365e3782b8b87 /src/interp/database.boot | |
parent | 9130fc21789dd3fc7c1a8c89dc992acfb54dbccd (diff) | |
download | open-axiom-6c972c2a3ae6a6875417d7a8f9442c2abdc170ff.tar.gz |
Skip interp.daase for a few database info in generated code.
Diffstat (limited to 'src/interp/database.boot')
-rw-r--r-- | src/interp/database.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 1096c3eb..1eb2caaf 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -158,7 +158,7 @@ getConstructorArgsFromDB ctor == getDualSignature: %Symbol -> %Form getDualSignature ctor == db := constructorDB ctor - if not dbBeingDefined? db then + if not dbBeingDefined? db and dbDualSignature db isnt [.,:.] then loadDBIfNecessary db dbDualSignature db @@ -179,7 +179,7 @@ getSuperDomainFromDB: %Symbol -> %Form getSuperDomainFromDB ctor == builtinConstructor? ctor => nil db := constructorDB ctor - if not dbBeingDefined? db then + if not dbBeingDefined? db and dbSuperDomain db isnt [.,:.] then loadDBIfNecessary db dbSuperDomain db |