Age | Commit message (Collapse) | Author | Files | Lines |
|
it to callees. Adjust caller.
* interp/database.boot (getConstructorPredicates): If contructor
is being defined, return the predicates as currently known.
* interp/daase.lisp (INITIAL-GETDATABASE): Remove
(fillDatabasesInCore): Adjust.
|
|
|
|
* interp/daase.lisp (DATABSE): Add new field TEMPLATE.
(dbTemplate): New macro accessor.
* interp/clam.boot (clearCategoryCaches): Clear dbTemplate.
* interp/define.boot (DomainSubstitutionFunction): Generate code
to access or set dbTemplate.
|
|
(dbCapsuleDefinitions): New macro accessor.
* interp/functor.boot (encodeFunctionName): Set it.
* interp/lisplib.boot ($lisplibVariableAlist): Remove.
($lisplibSignatureAlist): Likewise.
(writeCapsuleLevelDefinitions): New.
(finalizeLisplib): Use it.
(mergeSignatureAndLocalVarAlists): Remove.
* interp/clam.boot (clearCategoryCaches): Use mkDomainCatName.
* interp/define.boot (DomainSubstitutionFunction): Likewise.
|
|
only if not bootstrapping.
(isFunctor): Tidy.
* interp/g-util.boot (superType): Tidy.
* interp/database.boot (getDualSignature): Rename from
getDualSignatureFromDB. Adjust callers.
* interp/c-util.boot (isKnownCategory): Remove.
(diagnoseUnknownType): Use isCategoryForm.
* interp/bootlex.lisp (GET-INTEGER-IN-RADIX): Use SPAD_SYNTAX_ERROR.
* interp/metalex.lisp (GET-STRING-TOKEN): Likewise.
* interp/parsing.lisp (MUST): Likewise.
* algebra/boolean.spad.pamphlet (Refrence) [coerce]: Bypass
conversion to Identifier.
* algebra/domain.spad.pamphlet (ContructorKind): Tidy.
|
|
* interp/lisplib.boot (writeDualSignature): New.
(finalizeLisplib): Likewise.
* interp/define.boot (compDefineCategory2): Compute dual signature.
(compDefineFunctor1): Likewise.
* interp/daase.lisp (LOCALNRLIB): Juts read dual signature info;
don't compute it.
|
|
* 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.
|
|
(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/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.
|
|
(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.
|
|
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
|
|
(dbBeingMacro?): New accessor.
(GETDATABASE): Tidy.
|
|
* interp/database.boot (loadDBIfnecessary): New.
(dbMutable?): Likewise.
* interp/lisplib.boot (finalizeLisplib): Record mutable property.
|
|
(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.
|
|
(dbNiladic?): Remove. Adjust users.
(WRITE-INTERP): Don't write NILADIC field.
|
|
getConstructorModemapFromDB. Adjust callers.
|
|
niladicConstructorFromDB. Use getConstructorFormFromDB.
Adjust callers.
|
|
(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/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.
|
|
(ASCOMP, ASAUTO): Remove.
* interp/axext_l.lisp: Remove.
* interp/foam_l.lisp: Likewise.
* interp/ax.boot: Likewise.
* interp/as.boot: Likewise.
* interp/daase.lisp: Adjust.
* interp/i-syscmd.boot: Likewise.
|
|
|
|
(applySubst): Likewise. Export.
* boot/ast.boot: Use it. Remove SUBLIS and SUBLISLIS.
* interp/ax.boot: Likewise.
* interp/br-con.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-op2.boot: Likewise.
* interp/br-prof.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/buildom.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/compiler.boot: Likewise.
|
|
|
|
(append!): Likewise.
* boot/tokens.boot: Do not translate nconc.
|
|
* boot/utility.boot (reverse!): Define.
* boot/parser.boot: Use reverse! instead of NREVERSE.
* boot/ast.boot: Generate reverse! forms instead of NREVERSE.
|
|
* interp/bootlex.lisp: Fix use of SETELT.
* interp/macros.lisp: Likewise.
* interp/preparse.lisp: Likewise.
* interp/spad.lisp: Likewise.
* interp/vmlisp.lisp: Likewise.
|
|
* interp/fname.lisp: Likewise.
* interp/foam_l.lisp: Likewise.
* interp/macros.lisp: Likewise.
* interp/nlib.lisp: Likewise.
* interp/patches.lisp: Likewise.
* interp/sfsfun-l.lisp: Likewise.
* interp/spad.lisp: Likewise.
* interp/util.lisp: Likewise.
* interp/vmlisp.lisp: Likewise.
|
|
* interp/daase.lisp (make-databases): Build glossary files too.
* interp/br-data.boot (buildGloss): gloss.text now lives in doc/.
* interp/br-search.boot (grepSource): Likewise.
* interp/ht-root.boot (htGlossPage): Likewise.
* etc/Makefile.in (openaxiom_glossfiles): New.
(mostlyclean-local): Remove them too.
(stamp-databases): Now copy glossary files too.
* doc/Makefile.in ($(OUT)/gloss.text): New rule.
(stamp): Make it a prerequisite.
* Makefile.pamphlet (all-databases): Make all-doc a prerequisite.
(all-hyper-post): Likewise.
* doc/gloss.text: Resurect.
|
|
* interp/g-util.boot (superType): Handle current domain form.
(maximalSuperType): Tidy.
(noteSubDomainInfo): Call SETDATABASE.
|
|
* Makefile.pamphlet (AXIOM_SRC_TARGETS): Add all-databases.
src/ChangeLog
2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>
* lisp/core.lisp.in (|%algebraSystemIsComplete|): New.
(|%basicSystemIsComplete|): Use it.
* interp/wi1.boot (setqSingle): Use maximalSuperType.
(coerceSubset): Simplify.
(compCoerce1): Tidy.
* interp/i-resolv.boot (resolveTCat): Use superType.
* interp/lisplib.boot (findConstructorSlotNumber): Use isSubset.
(sigsMatch): Likewise.
(findDomainSlotNumber): Likewise.
* interp/define.boot (compSubDomain1): Reject for complex subdomain
predicate. Support paramterized subdomains.
* interp/daase.lisp (interpOpen): Read superdomain slot.
(getdatabase): Remove adhoc hardcoded superdomain info.
Return superdomain info stored in database.
(localnrlib): Read superdomain info.
(write-interpdb): Write superdomain info.
(database): Add superdomain slot.
* interp/g-util.boot (superType): New.
(maximalSuperType): Rework. Support parameterized subdomains.
(noteSubDomainInfo): New.
(isSubDomain): Rework.
* interp/c-util.boot (isSubset): Rework.
* interp/g-opt.boot (optEQ): Remove.
* interp/g-cndata.boot (getImmediateSuperDomain): Remove.
(maximalSuperType): Move to g-util.boot.
* interp/types.boot (%Constructor): New type specifier.
(%Instantiation): Likewise.
* interp/compiler.boot (primitiveType): Don't return $NegativeInteger.
(maxSuperType): Remove.
(hasType): Use maximalSuperType.
(satisfies): New.
(coerceSubset): Use it. Simplify.
* interp/wi2.boot (smallIntegerStep): Use maximalSuperType.
* interp/sys-constants.boot ($AtVariables): New.
($NegativeInteger): Remove.
($NonPositiveInteger): Likewise.
($CategoryNames): Category is not a category.
* interp/property.lisp: Remove Subsets property settings.
* interp/i-coerce.boot (coerceSubDomain): Simplify.
(coerceImmediateSubDomain): Remove.
(getSubDomainPredicate): Simplify.
* interp/category.boot (SourceLevelSubset): Use isSubDomain.
(MachineLevelSubset): Likewise.
* interp/modemap.boot (mergeModemap): Likewise.
(isSuperDomain): Remove.
(augModemapsFromDomain): Support parameterized subdomains.
* interp/i-util.boot (isSubDomain): Move to g-util.boot.
* Makefile.pamphlet (all-databases): New target.
* interp/Makefile.pamphlet ($(AXIOMSYS)): Push
:open-axiom-algebra-system onto *FEATURES*.
* etc/Makefile.in (all-databases): New target.
|
|
change directory.
(localdatabase): Adjust call.
* interp/lisplib.boot (getAllIndexPathnames): Take an argument.
(getAllAldorObjectFiles): Likewise.
|
|
(initializeGlobalState): Set it and honor it.
* interp/daase.lisp (initial-getdatabase): Be talkative only when
asked.
|
|
* interp/sys-driver.boot (AxiomCore::%sysInit): Have ECL quiet.
(initializeGlobalState): Initialize new world states.
* interp/define.boot (compDefine): Tidy.
(compDefineCategory2): Explicitly initialize $TOP_LEVEL and
$definition.
* interp/daase.lisp (|fillDatabasesInCore|): Use
$buildingSystemAlgebra.
* interp/compiler.boot (compMakeDeclaration): Explicitly
initialize $insideExpressionIfTrue.
* boot/translator.boot (AxiomCore::%sysInit): Supper GCL and ECL
compiler notes, but ask for warning.
|
|
(initializeGlobalState): Tidy.
(executeSpadScript): Don't display start up messages.
(compileSpadLibrary): Likewise.
(buildDatabasesHandler): Likewise.
(systemMain): Initialize global states.
* interp/nrunfast.boot: Defin $NRTvec, $monitorNewWorld.
* interp/daase.lisp (|fillDatabasesInCore|): Rename from
RESETHASHTABLES.
(|closeAllDatabaseStreams|): Rename from closeAllDatabases
* interp/util.lisp (build-interpsys): Initialize macro table.
* interp/htcheck.boot: Don't initialize macro table here.
|
|
pathToDatabase.
(|closeAllDatabases|): New. Split from RESETHASHTABLES.
* interp/util.lisp (build-interpsys): Call it here.
|
|
* lisp/Makefile.in (edit): Update.
* interp/daase.lisp: Don't load initial databases when
--system-algebra.
* interp/Makefile.pamphlet (${SAVESYS}): Build with --system-algebra.
|
|
* interp/util.lisp (*BIN-TYPE*): Remove. Use $faslType throughout.
* interp/daase.lisp (get-current-directory): Tidy conditional
definition.
|
|
|
|
*ATTRIBUTES*.
* interp/as.boot (asyFindAttrs): Adjust use.
* interp/daase.lisp (WRITE-COMPRESS): Likewise.
* interp/g-cndata.boot (attribute?): Likewise.
|
|
|
|
|
|
* interp/br-data.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-prof.boot: Likewise.
* interp/br-search.boot: Likewise.
* interp/br-util.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/daase.lisp: Likewise.
* interp/g-util.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/nrunopt.boot: Likewise.
|
|
* interp/daase.lisp (initial-getdatabase): Use it instead of
Lisp's LOAD.
* interp/lisplib.boot (loadLib): Likewise.
(loadLibNoUpdate): Likewise.
|
|
(BPINAME): Tidy.
* interp/slam.boot (reportFunctionCompilation): Tidy.
* interp/daase.lisp: Don't use anachronistic SET.
* interp/debug.lisp: Likewise.
* interp/br-saturn.boot: Substitute GENSYM for GENTEMP.
* interp/fortcall.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/server.boot: Likewise.
* interp/buildom.boot (UnionEqual): Tidy.
(coerceUn2E): Likewise.
* interp/boot-pkg.lisp (define-function): Define here.
* interp/Makefile.pamphlet (diagnostics.$(FASLEXT)): Tidy.
(hash.$(FASLEXT)): Likewise.
(vmlisp.$(FASLEXT)): Likewise.
* interp/diagnostics.boot: Import "types".
* interp/hash.lisp: Import "types" instead of "vmlisp".
* interp/i-output.boot ($algebraOutput): Move to sys-globals.boot.
(ERROROUTSTREAM): Likewise.
(ERRORINSTREAM): Likewise.
* interp/macros.lisp ($algebraOutputStream): Don't set here.
* interp/patches.lisp ($algebraOutputStream): Don't set here.
($texOutputStream): Likewise.
($fortranOutputStream): Likewise.
($texOutputStream): Likewise.
($formulaOutputStream): Likewise.
|
|
|
|
(MAKE-OUTSTREAM): Supersede existing files.
* interp/template.boot (makeTemplate): Use newDomainShell instead
of GETREFV.
(extendVectorSize): Likewise.
(mkSigPredVectors): Likewise.
(list2LongerVec): Likewise.
(measure): Remove.
(measureCommon): Likewise.
* interp/sys-utility.boot (loadNativeModule): New.
* interp/sys-os.boot: Import "cfuns" and "sockio".
(runProgram): New.
* interp/sys-globals.boot (/SOURCEFILES): Define here.
(/SPACELIST): Likewise.
* interp/sys-driver.boot ($OpenAxiomCoreModuleLoaded): New global
variable.
(AxiomCore::%sysInit): Load libopen-axiom-core if necessary.
($defaultMsgDatabaseName): Define here.
* interp/spad.lisp (|New,ENTRY,1|): Tidy.
* interp/sockio.lisp: Move import declarations to sys-os.boot.
Remove unused codes.
* interp/server.boot (serverReadLine): Use coreQuit instead of BYE.
* interp/pspad1.boot (formatMDEF): Tidy.
* interp/pspad2.boot (formatIf1): Tidy.
* interp/patches.lisp: Import "sys-driver". Remove
$CURRENT-DIRECTORY.
* interp/nruncomp.boot (buildFunctor): Use newDomainShell instead
of GETREFV.
* interp/nrunopt.boot (makeDomainTemplate): Likewise.
* interp/package.boot (processFunctorOrPackage): Likewise.
* interp/nlib.lisp (rdefiostream): Tidy.
* interp/monitor.lisp (monitor-autoload): Define when GCL.
* interp/interop.boot (oldAxiomCategoryDevaluate): Tidy.
* interp/i-toplev.boot (start): Don't set $CURRENT-DIRECTORY.
* interp/i-syscmd.boot (close): Use newDomainShell.
(leaveScratchpad): Use coreQuit instead of BYE.
(compileAsharpArchiveCmd): Use GET-CURRENT-DIRECTORY.
* interp/g-util.boot (newDomainShell): Define.
* interp/functor.boot (NewbFVectorCopy): Use newDomainShell.
* interp/daase.lisp (asharp): Use runProgram.
* interp/cfuns.lisp: Remove unused codes.
(directoryp): Move import declaration to sys-os.bot.
(writeablep): Likewise.
* interp/buildom.boot (Record0): Use newDomainShell instead of
GETREFV.
(coerceRe2E): Likewise.
(Union): Likewise.
(Mapping): Likewise.
(Enumeration): Likewise.
* interp/category.boot (mkCategory): Likewise.
* interp/Makefile.pamphlet (patches.$(FASLEXT)): Require
sys-driver.$(FASLEXT).
(sys-os.$(FASLEXT)): Require cfuns.$(FASLEXT), sockio.$(FASLEXT).
* algebra/view2D.spad.pamphlet: Use $ViewportServer instead of
VIEWPORTSERVER. Use sockSendInt instead of SOCK-SEND-INT.
Use sockSendFloat instead of SEND-SEND-FLOAT. Use sockSendString
instead of SOCK-SEND-STRING. Use sockGetInt instead of
SOCK-GET-INT. Use sockGetFloat instead of SOCK-SEND-FLOAT.
* algebra/view3D.spad.pamphlet: Likewise.
* interp/util.lisp (fe): Remove.
(fc): Likewise.
(interp-make-directory): Simplify.
(OLD-BOOT::BOOT): Don't declare *PRINT-PRETTY* and *PRINT-LENGTH*
special.
|
|
* interp/spaderror.lisp (|$quitTag|): Define as constant.
(|$numericFailure|): Likewise.
* interp/spad.lisp: Import "postpar" and "debug".
($): Remove toplevel assignment.
(|traceComp|): Tidy.
(/FLAG): Remove.
(*PROMPT*): Remove.
(|New,ENTRY,1|): Don't declare it. Tidy.
(|New,ENTRY,2|): Fix typo.
* interp/sfsfun-l.lisp (rbesselj): Remove extraneous right
parenthesis.
(rbesseli): Likewise.
* interp/patches.lisp: Import "sockio" instead of "debug"
(|$useInternalHistoryTable|): Don't define here.
(user::start): Remove.
(/RF-1): Declare ECHO-META special.
(READSPADEXPR): Declare IN-STREAM special.
(|$ViewportProcessToWatch|): Declare.
(echo-meta): Don't set here.
* interp/packtran.boot (rePackageTran): Tidy.
* interp/nspadaux.lisp (|$underscoreChar|): Define.
(|$markChoices|): Likewise.
(|$convert2NewCompiler|): Likewise.
(|$AnalyzeOnly|): Likewise.
(|$categoryPart|): Likewise.
(|$insideCAPSULE|): Likewise.
(|$insideEXPORTS|): Likewise.
(|$originalSignature|): Likewise.
(|$insideDEF|): Likewise.
(|$insideTypeExpression|): Likewise.
(|$spadTightList|): Likewise.
(|$PerCentVariableList|): Likewise.
* interp/nrunopt.boot (augmentPredCode): Fix typo.
* interp/nlib.lisp (*LISP-BIN-FILETYPE*): Remove.
(recompile-lib-file-if-necessary): Use $faslType. Unconditionally
define.
* interp/lisplib.boot (compDefineLisplib): Tidy.
* interp/interop.boot (SExprToDName): Tidy.
(oldAxiomPreCategoryDevaluate): Likewise.
(hashNewLookupInCategories): Likewise.
* interp/g-util.boot (get): Adjust return type.
(get0): Likewise.
(get1): Likewise.
(get2): Likewise.
* interp/foam_l.lisp: Tidy.
* interp/define.boot (maybeInsertViewMorphisms): Fix typo.
* interp/debug.lisp (/breakcondition): Declare.
* interp/sys-utility.boot (getSystemModulePath): New.
* interp/daase.lisp (|with|): Remove
(|library|): Move i-syscmd.boot
(initial-getdatabase): Use getSystemModulePath.
(getdatabase): Likewise.
(addoperations): Don't reference package LISP.
(localdatabase): Likewise.
(write-interpdb): Don't declare *print-prett* special.
(write-browsedb): Likewise.
(write-categorydb): Likewise.
|