diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-27 21:27:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-27 21:27:09 +0000 |
| commit | 046ba395bff60fa8efd27b956ac3d37fd9e7eeb1 (patch) | |
| tree | c99159b541c655ff1e9099786e69d33944a7216d /src/interp/define.boot | |
| parent | 8f489dc61cc095daa49c14cfe80114d041965d3a (diff) | |
| download | open-axiom-046ba395bff60fa8efd27b956ac3d37fd9e7eeb1.tar.gz | |
Clear constructor DB right before compiling definition.
Diffstat (limited to 'src/interp/define.boot')
| -rw-r--r-- | src/interp/define.boot | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 36f3bcd3..8ad48282 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1198,6 +1198,7 @@ compDefineCategory(df,m,e,fal) == db := constructorDB ctor kind := dbConstructorKind db kind ~= "category" => throwKeyedMsg("S2IC0016",[ctor,"category",kind]) + dbClearForCompilation! db dbConstructorForm(db) := lhs $insideFunctorIfTrue => compDefineCategory1(df,m,e,fal) compDefineLisplib(df,m,e,fal,'compDefineCategory1) @@ -1415,6 +1416,7 @@ dbClearForCompilation! db == dbAncestors(db) := nil dbPrincipals(db) := nil dbCategory(db) := nil + dbPredicates(db) := nil dbConstructorModemap(db) := nil dbDefaultDomain(db) := nil dbDualSignature(db) := nil |