Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
* algebra/exposed.lsp.pamphlet: Expose it.
|
|
|
|
|
|
|
|
|
|
|
|
* configure.ac: Use it.
|
|
|
|
(pilePlusComments): Likewise.
(pileTree): Likewise.
(eqpileTree): Likewise.
|
|
|
|
|
|
* interp/i-toplev.boot (recordAndPrint): Do not print a newline
before formatting the result.
|
|
|
|
* 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).
|
|
* boot/parser.boot (bpTypeName): Split out of bpTypeAliasDefinition.
(bpStruct): Use it. Support parameterized structures.
* boot/ast.boot (ctorName): New.
(bfEnum): Use it for parameterized enums.
(bfRecord): Use it for parameterized records.
|
|
(makeParserState): Likewise.
(%Translator): Likewise.
(makeTranslator): Likewise.
Make all parsing functions take a parser state argument.
* boot/translator.boot (shoeOutParse): Adjust.
* interp/spad-parser.boot (stringPrefix?): Remove redudant definition.
|
|
* interp/match.boot (charPosition): Likewise.
* boot/utility.boot (charPosition): Now return argument string
length if no match.
(findChar): New.
* boot/scanner.boot (lexerCharPosition): Adjust.
(shoeAccumulateLines): Use findChar.
|
|
|
|
* config/aclocal.m4: Move to toplevel.
* config/libtool.m4: Remove.
* config/ltoptions.m4: Likewise.
* config/ltversion.m4: Likewise.
* config/lt~obsolete.m4: Likewise.
* config/open-axiom.m4 (OPENAXIOM_ALIGNMENT_OPERATOR): Use
AC_LANG_SOURCE to generate test program.
(OPENAXIOM_ALIGNAS_SPECIFIER): Likewise.
|
|
|
|
(OPENAXIOM_CHECK_MISC): Use it.
src/
* utils/vm.H: Add more VM data structures.
* utils/vm.cc (BasicContext::make_operator): Define.
* algebra/Makefile.in (SPADFILES): Include syntax.spad and
spad-parser.spad.
|
|
linker flags when building for Windows.
* lisp/core.lisp.in: Do not require SB-SPROF or SB-POSIX on Windows.
|
|
(LD): Likewise.
|
|
* interp/sys-driver.boot (%sysInit): Don't redefine. Reset
function binding.
|
|
* interp/compiler.boot (bindPredicateExistentials): Rename from
constructorCondition. Now return a substitution on success,
otherwise failure.
(solveEquation): New.
(solveSubsumption): Likewise.
(deduceImplicitParameters): Likewise.
(evaluateConstructorModemap): Use it. Tidy.
|
|
* include/xpm.h: Remove.
|
|
|
|
Windows platforms.
|
|
|
|
host using C++ compiler for GNU.
|
|
(OPENAXIOM_CHECK_CORE_SUPPORT): Use it.
|
|
|
|
|
|
oa_gcl_bfd_option.
(oa_gcl_emacs): Remove.
|
|
|
|
|
|
oa_gnu_compiler right after test for C and C++ compilers.
|
|
|
|
|
|
* 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/compiler.boot (finishLambdaExpression): Use it.
* interp/i-intern.boot (mkAtreeExpandMacros): Likewise.
* interp/i-map.boot (addMap): Likewise.
* interp/vmlisp.lisp (SUBLISNQ, SUBANQ, SUBB): Remove.
|
|
|
|
(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.
|
|
* boot/parser.boot (bpModuleInterface): Rename from bpExports.
(bpModuleExports): New.
(bpModule): Now allow specification of exported names.
|
|
Special-case for detecting binary personality.
* configure.ac: ECL now provides (at last!) way to gather
information about binary personality.
|
|
|
|
considered side-effect free functions.
* algebra/boolean.spad.pamphlet: Reflect change.
* algebra/Makefile.in (oa_strap_0_sources): Include MAYBE.
|
|
conditionals so that implications propagate down the pipe.
|
|
* interp/compiler.boot (compMatch): test for identifier, not
atomic value.
* algebra/syntax.spad.pamphlet (Syntax): Tidy.
|