diff options
Diffstat (limited to 'src/interp/lisplib.boot')
| -rw-r--r-- | src/interp/lisplib.boot | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot index 898b46cf..8c39a1b5 100644 --- a/src/interp/lisplib.boot +++ b/src/interp/lisplib.boot @@ -543,12 +543,19 @@ writeInfo(ctor,info,key,prop,file) == writeKind(ctor,kind,file) == writeInfo(ctor,kind,'constructorKind,'dbConstructorKind,file) +writeAbbreviation(db,file) == + writeInfo(dbConstructor db,dbAbbreviation db, + 'abbreviation,'dbAbbreviation,file) + writeConstructorForm(ctor,form,file) == writeInfo(ctor,form,'constructorForm,'dbConstructorForm,file) writeSuperDomain(ctor,domPred,file) == writeInfo(ctor,domPred,'superDomain,'dbSuperDomain,file) +writePredicates(ctor,preds,file) == + writeInfo(ctor,preds,'predicates,'dbPredicates,file) + writeOperations(ctor,ops,file) == writeInfo(ctor,ops,'operationAlist,'dbOperations,file) @@ -598,8 +605,8 @@ finalizeLisplib(ctor,libName) == removeZeroOne mergeSignatureAndLocalVarAlists($lisplibSignatureAlist, $lisplibVariableAlist),$libFile) writeAttributes(ctor,removeZeroOne dbAttributes db,$libFile) - lisplibWrite('"predicates",removeZeroOne $lisplibPredicates,$libFile) - lisplibWrite('"abbreviation",dbAbbreviation db,$libFile) + writePredicates(ctor,removeZeroOne $lisplibPredicates,$libFile) + writeAbbreviation(db,$libFile) writePrincipals(ctor,removeZeroOne dbPrincipals db,$libFile) writeAncestors(ctor,removeZeroOne dbAncestors db,$libFile) lisplibWrite('"documentation",finalizeDocumentation ctor,$libFile) |