diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-30 22:25:56 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-30 22:25:56 -0800 |
| commit | 79f3a421e49a1b5baf5dd9bed6c2d640dac7dc95 (patch) | |
| tree | a59345d0305ac847e7073e74dc031730e1fc55b4 | |
| parent | 04e645dc02abeaeb3102ab9c6bd149521b1282bb (diff) | |
| download | open-axiom-79f3a421e49a1b5baf5dd9bed6c2d640dac7dc95.tar.gz | |
writeCapsuleLevelDefinitions: don't write into the index file
| -rw-r--r-- | src/interp/define.boot | 17 | ||||
| -rw-r--r-- | src/interp/lisplib.boot | 3 |
2 files changed, 11 insertions, 9 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 72026f02..55db10b7 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1407,9 +1407,10 @@ AMFCR_,redefined(opname,u) == op = '%when => "OR"/[AMFCR_,redefinedList(opname,rest u) for u in l] dbClearForCompilation! db == - dbTemplate(db) := nil - dbLookupFunction(db) := nil - dbCapsuleDefinitions(db) := nil + dbCategory(db) := nil + dbConstructorModemap(db) := nil + dbDualSignature(db) := nil + dbDefaultDomain(db) := nil dbModemaps(db) := nil dbDocumentation(db) := nil dbOperations(db) := nil @@ -1417,11 +1418,11 @@ dbClearForCompilation! db == dbPredicates(db) := nil dbAncestors(db) := nil dbPrincipals(db) := nil - dbCategory(db) := nil - dbPredicates(db) := nil - dbConstructorModemap(db) := nil - dbDefaultDomain(db) := nil - dbDualSignature(db) := nil + dbSuperDomain(db) := nil + dbCapsuleDefinitions(db) := nil + dbTemplate(db) := nil + dbLookupFunction(db) := nil + dbOperationTable(db) := nil substituteCategoryArguments(argl,catform) == argl := substitute("$$","$",argl) diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot index 9b18b6ca..30803167 100644 --- a/src/interp/lisplib.boot +++ b/src/interp/lisplib.boot @@ -537,7 +537,8 @@ writePrincipals db == writeInfo(db,dbPrincipals db,'parents,'dbPrincipals) writeCapsuleLevelDefinitions db == - writeInfo(db,dbCapsuleDefinitions db, + dbConstructorKind db = 'category => nil -- categories don't have capsules + writeLoadInfo(db,quote dbCapsuleDefinitions db, 'signaturesAndLocals,'dbCapsuleDefinitions) ++ If compilation produces an error, issue inform user and |