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 | |
| parent | 8f489dc61cc095daa49c14cfe80114d041965d3a (diff) | |
| download | open-axiom-046ba395bff60fa8efd27b956ac3d37fd9e7eeb1.tar.gz | |
Clear constructor DB right before compiling definition.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/define.boot | 2 | ||||
| -rw-r--r-- | src/interp/lisplib.boot | 1 |
2 files changed, 2 insertions, 1 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 diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot index 4212679b..5da16dec 100644 --- a/src/interp/lisplib.boot +++ b/src/interp/lisplib.boot @@ -399,7 +399,6 @@ compileConstructorLib(l,op,editFlag,traceFlag) == compConLib1(fun,infileOrNil,outfileOrNil,auxOp,editFlag,traceFlag) == $PrettyPrint: local := 'T - dbPredicates(constructorDB fun) := nil $lisplibOperationAlist: local := nil $libFile: local := nil if cons? fun and null rest fun then fun:= first fun -- unwrap nullary |