Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* config/open-axiom.m4 (OPENAXIOM_CHECK_DELAYED_FFI): New.
(OPENAXIOM_HOST_COMPILERS): Call it.
src/
* lisp/core.lisp.in (primitiveLoad): New. Export.
($delayedFFI): Likewise.
* lisp/Makefile.in (oa_delay_ffi): New.
(edit): Update.
* interp/sys-utility.boot: import sys-constants instead of sys-os.
* interp/sys-driver.boot (%sysInit): Do not loadSystemRuntimeCore.
(loadDelayedFFI): New.
(executeSpadScript): Call it.
(compileSpadLibrary): Likewise.
(buildInitdbHandler): Likewise.
(systemMain): Likewise.
* interp/util.lisp (BUILD-INTERPSYS): Likewise.
* interp/Makefile.in (oa_target_moddir): New.
(OA_FFI_MOD): Likewise.
(OA_FFI_OBJ): Define conditionally.
(OBJS): Use it.
($(oa_target_delayed)): New rule.
(oa_target_delayed): New.
(oa_target_ffi): Define conditionally.
(${SAVESYS}): Require it.
(${AXIOMSYS}): Likewise.
(sys-utility.$(FASLEXT)): Now require sys-constants.$(FASLEXT).
|
|
are now builin.
* boot/ast.boot: Tidy.
* interp/c-util.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/sys-utility.boot: Likewise.
* interp/sys-driver.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/lisp-backend.boot: Likewise.
|
|
(makeToken): New.
* boot/includer.boot: Use %token accessors.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/utility.boot: Export subString.
|
|
(LAM,EVALANDFILEACTQ): Likewise.
* interp/sys-utility.boot (PRINT-AND-EVAL-DEFUN): Likewise.
* interp/slam.boot (reportFunctionCompilation): Tidy.
* interp/lisp-backend.boot (evalAndPrintBackendDecl): New.
* interp/c-util.boot (backendCompileSPADSLAM): Use it in lieu of
SETANDFILE.
(compAndDefine): Use evalAndPrintBackendDecl in lieu of
PRINT-AND-EVAL-DEFUN.
* interp/hypertex.boot: Clean up.
* interp/nhyper.boot: Likewise.
* interp/word.boot: Likewise.
|
|
longer optional. Adjust callers.
(LAM\,EVALANDFILEACTQ): Likewise.
* interp/slam.boot (compQuietly): Use printBackendDecl.
* interp/spad.lisp (SPAD): Likewise.
* interp/sys-utility.boot (PRINT-AND-EVAL-DEFUN): Likewise.
* interp/macros.lisp (SETANDFILE): Move to vmlisp.lisp.
* interp/lisp-backend.boot (printBackendStmt): New.
(evalAndPrintBackendStmt): Likewise.
(printBackendDecl): Likewise.
* interp/c-util.boot (registerFunctionReplacement): Use
evalAndPrintBackendStmt.
(registerRedexForm): Likewise.
(proclaimCapsuleFunction): Use printBackendStmt.
* interp/Makefile.in (lisp-backend.$(FASLEXT)): Require nlib.$(FASLEXT)
|
|
(QSORT): Likewise.
* interp/c-util.boot (formal?): Rename from isFormal. Avoid POSITION.
* interp/sys-utility.boot (sortBy): New.
* interp/br-op1.boot: Use it.
* interp/clam.boot: Likewise.
* interp/define.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/showimp.boot: Likewise.
* boot/tokens.boot: "<-" is now a token.
* boot/ast.boot (bfKeyArg): New.
(bfExpandKeys): Likewise.
(bfApplication): Use it.
* boot/parser.boot (bpKeyArg): New.
(bpAssign): Use it. Parse named arguments.
|
|
loopBody and loopExit are not selectors.
* interp/i-output.boot: Include sys-utility.
* interp/sys-utility.boot (last): New macro.
(loopBody): Likewise.
* interp/vmlisp.lisp (LASTNODE): Remove.
(LASTPAIR): Likewise.
(last): Do not define here.
|
|
* interp/functor.boot: Remove getAbbreviation, mkAbbrev, addsuffix.
* interp/sys-utility.boot (symbolAssoc): Remove as redundant.
(scalarTarget): New.
* interp/bc-matrix.boot: Use symbolTarget instead of symbolLassoc.
* interp/br-con.boot: Use QLASSQ instead of symbolTarget.
* interp/br-data.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-prof.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/br-search.boot: Likewise.
* interp/buildom.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/define.boot: Likewise.
* interp/format.boot: Likewise.
* interp/g-timer.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/i-intern.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-object.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/profile.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/vmlisp.lisp (assoc): Tidy.
|
|
* interp/setvart.boot: Remove setting of 'compiler' options.
* interp/setvars.boot (setAsharpArgs): Remove.
(describeAsharpArgs): Likewise.
(setInputLibrary): Likewise.
(setOutputLibrary): Likewise.
(describeInputLibraryArgs): Likewise.
(describeOutputLibraryArgs): Likewise.
|
|
|
|
* boot/ast.boot: Use it. instead of ASSOC.
* boot/translator.boot (packageBody): Tidy.
* interp/astr.boot: Use objectAssoc instead of ASSQ.
* interp/br-con.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/buildom.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/category.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/i-coerce.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-object.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-resolv.boot: Likewise.
* interp/i-special.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-util.boot: Likewise.
* interp/int-top.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/msg.boot: Likewise.
* interp/posit.boot: Likewise.
* interp/termrw.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/sys-utility.boot (upwardCut): New.
* interp/spad.lisp: Use it.
* interp/util.lisp: Likewise.
* interp/spaderror.lisp: Likewise.
* interp/vmlisp.lisp (ASSEMBLE): Remove.
(ASSQ): Likewise.
(MEMQ): Likewise.
(NAMEDERRSET): Likewise.
(ORADDTEMPDEFS): Likewise.
* interp/macros.lisp (QLASSQ): Move to vmlisp.lisp.
(LASSQ): Remove.
|
|
(isDomainForm): Tidy.
(isFunctor): Likewise.
(compDefineExports): Remove as no longer used.
* interp/sys-utility.boot (loadExports): Likewise.
* interp/g-util.boot (get0, get1, get2): Tidy.
|
|
* 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.
|
|
|
|
|
|
* interp/i-syscmd.boot (summary): Use it.
(copyright): Likewise.
* algebra/net.spad.pamphlet: Replace closeFile with closeStream.
* boot/translator.boot: Likewise.
* interp/as.boot: Likewise.
* interp/ax.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/br-search.boot: Likewise.
|
|
* interp/sys-utility.boot (readByteFromFile): Remove.
* boot/tokens.boot: Don't rename readLine and readByte.
* boot/includer.boot (shoeReadLine): Remove.
(bRgen1): Adjust. Use resdLine.
* algebra/net.spad.pamphlet (InputBinaryFile): Use readByte from
the runtime system.
|
|
|
|
|
|
|
|
|
|
(EFFACE): Likewise.
* interp/sys-utility.boot (remove!): New.
|
|
|
|
* interp/modemap.boot (knownInfo): Fix latent bug uncovered by
type declarations.
* boot/ast.boot: Remove type definitions.
(bfIN): Handle DOT as loop variable.
(bfON): Likewise. Allow a loop variable to iterator over its own
tails.
* boot/parser.boot (bfTyping): Simplify.
(bpSimpleMapping): Fix thinko.
|
|
|
|
(substitute!): Likewise.
* boot/utility.boot: Do not rely on tail recursion removal.
* boot/tokens.boot: Don't translate substitute and substitute!.
* boot/ast.boot (bfLp1): Tidy.
|
|
|
|
singDowncase, valueEq? are new builtin functions.
* boot/ast.boot (bfMembr): Tidy.
|
|
|
|
|
|
|
|
|
|
systemAlgebraDirectory.
* interp/database.boot (pathToDatabase): Use systemDatabaseDirectory.
* algebra/integer.spad.pamphlet (Integer) [latex]: Tidy.
* algebra/string.spad.pamphlet (Character) [latex]: Likewise.
* algebra/Makefile.in: Rework bootstrapping set up.
(COMPILE_LISP): Remove.
(axiom_algebra_layer_strap): Likewise.
(axiom_algebra_layer_strap_objects): Likewise.
(axiom_algebra_bootstrap): Likewise.
(oa_strap_0_fasls): New.
(oa_strap_1_fasls): Likewise.
(oa_strap_2_fasls): Likewise.
(oa_strap_0_sources): Likewise.
(oa_strap_1_sources): Likewise.
(oa_strap_2_sources): Likewise.
* src/algerab/strap: Remove.
|
|
backend module.
* interp/Makefile.in (OBJS): Include it.
(lisp-backend.$(FASLEXT)): New rule.
|
|
|
|
|