Age | Commit message (Collapse) | Author | Files | Lines |
|
dbConstructorModemap before compiling functor body.
|
|
(mkCategoryPackage): Category defaults are packages, not domains.
* interp/functor.boot (encodeFunctionName): Use current
constructor DB. First argument is now a DB. Adjust caller.
* algebra/domain.spad.pamphlet (DomainConstructo) [functorData]:
Use getInfovec.
|
|
* interp/daase.lisp (DATABASE) [LOAD-PATH]: New field.
(dbLoadPath): New accessor.
(INITIAL-GETDATABASE): Tidy.
* interp/database.boot: Use dbLoadPath and dbLoaded?.
* interp/lisplib.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* interp/showimp.boot: Likewise.
* interp/br-util.boot (isLoaded?): Remove as unused.
|
|
* interp/functor.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/patches.lisp: Likewise.
* interp/sys-globals.boot: Likewise.
|
|
$lisplibFunctions.
* interp/lisplib.boot: Remove $lisplibOpAlist.
* interp/nruncomp.boot: Likewise.
|
|
|
|
(newLookupInCategories1): Remove.
(newLookupInCategories): Do not call it.
* interp/define.boot ($isOpPackageName): Remove.
(compDefinFunctor1): Do not emit slot1 database info for category
defaulta.
($lisplibSlot1): Remove.
* interp/lisplib.boot: Likewise.
(finalizeLisplib): Do not write slot1 info.
|
|
(finalizeLisplib): Use it. Write category bodies in generated
Lisp code file.
* interp/daase.lisp (GETDATABASE) [CONSTRUCTORCATEGORY]: Don't
bother with package and domain constructors.
* interp/database.boot (getConstructorCategory): Rename from
getConstructorCategoryFromDB. Reimplement, Adjusr callers.
|
|
ATTRIBUTES selectors anymore.
* interp/database.boot (getConstructorPredicates): Rename from
getConstructorPredicatesFromDB. Adjust callers.
(getConstructorAttributes): Rename from getConstructorAttributesFromDB.
Adjust callers.
|
|
(writePredicates): Likewise.
(finalizeLisplib): Use them.
* interp/daase.lisp (squeezeCopy): New,
Use it in place of SQUEEZE.
|
|
* interp/define.boot: Remove $lisplibAncestors.
|
|
* interp/define.boot: Likewise.
* interp/lisplib.boot: Likewise.
|
|
* include/xpm.h: Remove.
|
|
* interp/g-util.boot (superType): If domain is $ then use current
information.
* interp/daase.lisp: Tidy.
* interp/c-util.boot (extendsCategoryForm): Temporarily disable
uses of information not coming from on-the-fly category compilation.
* interp/br-data.boot (getParentsFor): Change first parameter to a DB.
Adjust callers.
* algebra/Makefile.in: Adjust dependencies.
|
|
initdb.daase before bootstrap.
|
|
(loadLibIfnecessary): Fold definition into loadIfNecessary.
(loadDB): New.
(writeAttributes): Likewise.
(finalizeLisplib): Use it.
* interp/daase.lisp (MAKE-DATABASES): Fix SQUEEZE snafu.
* interp/c-util.boot (extendsCategoryForm): Prefer existing
translation of category definition to re-evaluation on the fly.
|
|
(isDomainForm): Tidy.
(isFunctor): Likewise.
(compDefineExports): Remove as no longer used.
* interp/sys-utility.boot (loadExports): Likewise.
* interp/g-util.boot (get0, get1, get2): Tidy.
|
|
(finalizeLisplib): Use it.
|
|
of definition processing.
(compDefineFunctor1): Likewise.
* interp/daase.lisp (dbPrincipals): New accessor.
* interp/br-data.boot (getDefaultPackageClients): Fix thinko.
* interp/lisplib.boot (writeAncestors): New.
(finalizeLisplib): Use it
|
|
(finalizeLisplib): Don't call it.
|
|
(dbBeingMacro?): New accessor.
(GETDATABASE): Tidy.
|
|
* interp/define.boot (compDefineFunctor1): Tidy.
(compCapsuleInner): Add a DB first parameter. Adjust callers.
* interp/lisplib.boot (NRTgenInitialAttributeAlist): Likewise.
(simplifyAttributeAlist): Likewise.
* interp/nruncomp.boot (changeDirectoryInSlot1): Likewise.
(buildFunctor): Change first parameter to DB. Adjust caller.
|
|
Adjust callers.
(unloadOneConstructor): Likewise.
* interp/category.boot (isCategoryForm): Rewrite.
* interp/patches.lisp (mkAutoLoad): Move to lisplib.boot.
|
|
argument. Adjust callers.
* interp/define.boot (NRTmakeCategoryAlist): Likewise.
* interp/functor.boot (ProcessCond): Likewise.
* interp/lisplib.boot (NRTgenFinalAttributeAlist): Likewise.
(predicateBitIndex): Likewise.
(predicateBitRef): Likewise.
(makePredicateBitVector): Likewise.
(transHasCode): Likewise.
|
|
*interp/interop.boot: Move OpenAxiom relevant code to define.boot
and nrunfast.boot. Remove.
|
|
($mutableDomains): Likewise.
* interp/database.boot (dbMutable?): Remove.
* interp/clam.boot (addToclam): Remove as unused.
* algebra/modmon.spad.pamphlet: Do not make MoMonic mutable.
* algebra/defaults.spad.pamphlet: Do not make RepeatedSquaring and
RepeatedDoubling, FiniteLinearAggregateSort mutable.
|
|
* interp/database.boot (loadDBIfnecessary): New.
(dbMutable?): Likewise.
* interp/lisplib.boot (finalizeLisplib): Record mutable property.
|
|
* interp/database.boot (printInitdbInfo): New.
(printAllInitdbInfo): Likewise.
* interp/sys-driver.boot (initializeDatabases): Exit early if
constructing initial DB profile.
(buildInitdbHandler): New. Handle --build-initdb.
* utils/command.cc (driver_table): Add map for --build-initdb.
|
|
(initializeGlobalState): Use it.
* interp/spad-parser.boot (parseSpadFile): Tidy.
* interp/g-cndata.boot (installConstructor): Exit early it global
table not initialized.
* interp/database.boot (makeInitialDB): New.
(populateDBFromFile): Likewise.
* interp/daase.lisp: Introduce more DB accessors.
* interp/br-util.boot (dbSourceFile): Remove.
* interp/br-con.boot (kdPageInfo): Use
getConstructorSourceFileFromDB instead of dbSourceFile.
(kPage): Likewise.
* algebra/Makefile.in (SPADFILES): Include domain.spad
|
|
database tables if algebra is not complete yet.
* interp/Makefile.in (${SAVESYS}): Simplify.
* algebra/Makefile.in (strap-stamp): Make the destination directory.
|
|
(XTOKENREADER, GET-TOKEN, NEXT-META-LINE): Likewise.
(META_ERROR_HANDLER, META-SYNTAX-ERROR, META-META-ERROR-HANLER):
Likewise.
* interp/debug.lisp: Do not set /XCAPE property.
* interp/bootlex.lisp (INIT-BOOT/SPAD-READER): Do not set
XTOKENRADER, LINE-HANDLER, META_ERROR_HANDLER.
|
|
(dbNiladic?): Remove. Adjust users.
(WRITE-INTERP): Don't write NILADIC field.
|
|
callsers.
(evalAndSub): Likewise.
(augModmapsFromCategory): Likewise.
(genDomainView): Likewise.
(augModemapsFromCategoryRep): Remove as deadcode.
(genDomainOps): Lose first parameter. Adjust callers.
|
|
getConstructorModemapFromDB. Adjust callers.
|
|
niladicConstructorFromDB. Use getConstructorFormFromDB.
Adjust callers.
|
|
($lisplibForm): Likewise.
* interp/c-doc.boot (finalizeDocumentation): Take constructor's
name as parameter. Adjust callers.
* interp/lisplib.boot (compileDocumentation): Likewise.
(WriteKind): New.
(writeConstructorForm): Likewise.
(writeOperations): Likewise.
(WriteConstructorModemap): Likewise.
(finalizeLisplib): Use them.
|
|
(writeInfo): New.
(writeSuperDomain): Likewise.
(finalizeLisplib): Use it. Take constructor as argument.
* interp/define.boot ($lisplibSuperDomain): Remove. Adjust users.
($lisplibKind): Remove Adjust users.
(emitSubdomainInfo): Set dbSuperDomain.
(incompleteFunctorBody): Likewise.
* interp/daase.lisp: Add new database accessors.
(GETDATABASE): Fix handling of superDomain property.
* interp/br-util.boot (dbConstructorKind): Remove.
* interp/br-con.boot: Remove deadcode.
(dbShowCons1): Adjust.
* interp/br-saturn.boot (dbShowConsKinds): Likewise.
|
|
* interp/sys-driver.boot (initializeGlobalState): Don't set it.
* interp/define.boot (skipCategoryPackage?): Adjust.
(compDefineFunctor): Likewise.
(compDefineFunctor1): Likewise.
(incompleteFunctorBody): New.
(compFunctorBody): Use it.
|
|
* interp/daase.lisp (dbNiladic?): New. Use it to access niladic
property. of a constructor.
* interp/database.boot: Import daase.
(niladicContructorFromDB): Use it.
* interp/define.boot (compDefineCategory): Don't write
compilerInfo garbage.
(compDefineFunctor1): Likewise.
(compDefineCategory2): Set niladic property.
(compDefineFunctor): Likewise.
* interp/lisplib.boot (loadLib): Do not set niladic property. It
is now a side-effect of loading.
(loadLibNoUpdate): Do not check for version.
(makeConstructorAutoload): Do not set niladic property.
(initializeLisplib): Do not emit code to check version.
(mkCtorDBForm): New.
(writeNiladic?): Likewise.
(finalizeLisplib): Do not set niladic property.
* interp/patches.lisp: Remove deadcode.
* interp/sys-constants.boot (MAJOR-VERSION): Remove.
|
|
[divide]: Tidy.
* algebra/Makefile.in (strap-0/%.$(FASLEXT)): Copy generated Lisp
files if keeping intermediate files.
|
|
Adjust callers.
(mkOr2): Likewise.
(mkAnd): Likewise.
(mkAnd2): Likewise.
(FindFundAncs): Likewise.
(CatEval): Likewise.
(AncestorP): Likewise.
(CondAncestorP): Likewise.
(DescendantP): Likewise.
* interp/compiler.boot (compMapCond): Likewise.
(compMapCond'): Likewise.
* interp/define.boot (formatPred): Likewise.
(formatInfo): Likewise.
(addInfo): Likewise.
(knownPred): Likewise.
* interp/functor.boot (InvestigateConditions): Likewise.
(ICformat): Likewise.
|
|
|
|
define.boot. Remove.
* Makefile.in: Adjust dependencies.
|
|
* interp/category.boot: Likewise.
* interp/modemap.boot: Likewise.
|
|
categoryHierarchy. Adjust callers.
(categoryPrincipals): New.
(categoryAncestors): Likewise.
(categoryLocals): Likewise.
(categoryParameters): Likewise.
(extendsCategoryForm): Use them.
* interp/category.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/database.boot (getCategoryAttributes): Remove.
(getPrincipalAncestors): Likewise.
(getCategoryParents): Likewise.
* algebra/domain.spad.pamphlet (Category): Adjust.
|
|
(categoryAncestors): Likewise.
* interp/functor.boot (DescendCodeAdd): Tidy.
(DescendCodeVarAdd): Fix thinko. Iterator over $domainShell.
Don't pretend constants have ELT implementations.
* interp/nruncomp.boot (buildFunctor): Tidy.
|
|
CategoryDefaults.
* interp/define.boot (processFunctor): Fold into caller. Remove.
* interp/clam.boot (recordInstantiation1): Do not special case
CategoryDefaults and RepeatedSquaring.
* interp/functor.boot (DescendCode): Lose last argument, for it is
always $. Adjust body. Adjust caller.
* interp/nruncomp.boot (buildFunctor): $catNames should not be a
fluid variable. Rename to viewNames.
|
|
mkDomainFomer, setVector5, mkVectorWithDeferral): Remove as dead
codes.
|
|
(optIinc): New. Register as new transformer.
* interp/c-util.boot ($middleEndMacroList): Remove.
(middleEndExpand): Don't check for Lisp-level macros anymore.
|
|
(cpmpSeqItem): Likewise.
(replaceExitEtc): Likewise.
(massageLoop): Don't check for TAGGEDexit anymore.
|