Age | Commit message (Collapse) | Author | Files | Lines |
|
* 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/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.
|
|
|
|
|
|
|
|
|
|
|
|
* 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.
|
|
|
|
(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.
|
|
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.
|
|
* interp/g-opt.boot (optSETRECORDELT): Tidy code generation.
(optRECORDCOPY): Likewise.
(optRECORDELT): Likewise.
($VMsideEffectFreeOperators): Include %aref. Translate.
|
|
|
|
%cdown.
* interp/g-util.boot: Expand them.
* interp/vmlisp.lisp (QESET): Remove.
* algebra/string.spad.pamphlet (String): Don't use QESET.
|
|
* boot/tokens.boot (shoeStartsId): Move from initial-env.lisp
(shoeIdChar): Likewise.
* boot/initial-env.lisp (CHARMEM): Remove.
|
|
instead of Lisp-level UNWIND-PROTECT.
|
|
* interp/i-output.boot: Fix type violation in equality comparison.
|
|
* boot/parser.boot (bpMissing): Use a BootParserException exception.
(bpTrap): Likewise.
(bpListAndRecover): Catch them.
* boot/parser.boot (shoeOutParse): Likewise.
* boot/ast.boot (bfHandlers): Fix thinko.
(codeForCatchHandlers): Likewise.
|
|
* interp/parsing.lisp (TEST-LEXING): Remove.
(RTRACE): Likewise.
(RUNTRACE): Likewise.
(MATCH-ADVANCE-KEYWORD): New.
(MATCH-ADVANCE-GLYPH): Likewise.
(MATCH-ADVANCE-SPECIAL): Likewise.
(MATCH-SPECIAL): Likewise.
(MATCH-KEYWORD-NEXT): Likewise.
* interp/newaux.lisp: Make try and throw prefix operators.
* interp/metalex.lisp (KEYWORDS): Include finally, catch and throw.
* interp/fnewmeta.lisp (PARSE-Throw): New. Parse throw-expressions.
(PARSE-Catch): New. Parse catch-expressions.
(PARSE-Finally): New. Parse finally-expressions.
(PARSE-Try): New. Parse try-expressions.
* interp/compiler.boot (compThrow): New. Register to compile
throw-expressions.
(compTry): New. Register to compiler try-expressions.
(compCatch): New. Compile catch-handler expression.
* interp/g-opt.boot (optTry): New. Simplify simple expressions in
the try operand.
* interp/g-util.boot (expandThrow): New. Expand %throw forms.
(domainMatchCode): New.
(expandTry): New. Expand %try forms.
* doc/msgs/s2-us.msgs: Add new message with key S2GE0020.
* interp/g-error.boot (systemErrorHandler): Handle possible
uncaucght expression condition.
|
|
* algebra/numode.spad.pamphlet: Change field try to tryValue.
* algebra/multsqfr.spad.pamphlet: Change identifier try to tryCount.
|
|
option.
* interp/setvars.boot (setOutputAlgebra): Control informative
message about algebra stream redirection by $verbose.
|
|
* interp/i-toplev.boot (recordAndPrint): Tidy.
(SpadInterpretFile): Move to int-top.boot.
* interp/int-top.boot (ncINTERPFILE): Simplify.
(ncloopPrintLines): Output onto the standard output stream.
(ncloopIncFileName): Issue diagnostic on error output stream.
* interp/setvars.boot (setOutputAlgebra): Fix thinko.
(setStandardOutputToAlgebraStream): New.
* interp/sys-driver.boot (executeSpadScript): Use it.
Set verbosity level as appropriate. Redirect output if requested.
|
|
* driver/utils.c (get_suffix): New.
(option_value): Likewise.
(preprocess_arguments): Handle --translate and --build-databases.
* driver/main.c (upgrade_environment): Change argument type to
Command. Upgrade LD_LIBRARY_PATH too.
* boot/translator.boot (loadSystemRuntimeCore): Don't prefix the
shared library file name with the system path.
|
|
* etc/: Likewise.
* graph/: Likewise.
* hyper/: Likewise.
* lib/: Likewise.
* sman/: Likewise.
* Makefile.am (OA_SMAN_TARGETS): New.
(OA_GRAPHICS_TARGETS): Likewise.
|
|
* Makefile.in: Regenerate.
|
|
|
|
|
|
* Makefile.in: Generate from Makefile.am.
* config/aclocal.m4: Regenerate.
|
|
(openaxiom_build_rts_options): Use it. Tidy. Handle Clozure CL
and CLISP.
|
|
builtin.
* interp/g-util.boot (stringToChar): New.
(expandCst): Use it.
(expandS2c): Likewise. New.
* interp/spad.lisp (|$Newline): Move to interp/sys-macros.lisp.
* interp/sys-macros.lisp (|$Backspace): New.
(|$HorizontalTab|): Likewise.
(|$VerticalTab|): Likewise.
(|$FormFeed|): Likewise.
(|$CarriageReturn|): Likewise.
* algebra/string.spad.pamphlet (Character) [newline]: New.
[carriageReturn]: Likewise.
[linefeed]: Likewise.
[formfeed]: Likewise.
[backspace]: Likewise.
[horizontalTab]: Likewise.
[verticalTab]: Likewise.
[char]: Tidy.
|
|
* interp/Makefile.pamphlet: Remove.
|
|
|
|
necesary with newer GCL-2.6.8pre.
* configure.ac: Dont' call it.
|
|
|
|
$NEWSPAD since it always true. Keep note of Lisp-level special
variable even if it is set with SETQ.
(transformToBackendCode): Declare special variables before fluid
and local variables.
* interp/compiler.boot: Don't compile SETQ forms as if they were
Spad codes.
|
|
* utils/hash-table.H: New.
* utils/sexpr.H: Likewise.
* utils/sexpr.cc: Likewise.
* utils/string-pool.H: Likewise.
* utils/string-pool.cc: Likewise.
* utils/storage.H: Include openaxiom-c-macros.h
(Memory::Storage): New.
(Memory::Arena): Likewise.
* utils/storage.cc: Implement member functions of new class.
* utils/Makefile.in (libOpenAxiom_HEADERS): Include hash-table.H,
string-pool.H, and sexpr.H
(libOpenAxiom_SOURCES): Include string-pool.cc and sexpr.cc
|
|
* INSTALL: Update instructions.
* Makefile.pamphlet: Remove rules for building noweb.
(AXIOM_SRC_TARGETS): Include all-utils.
* config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for
notangle and noweave.
* config/setup-dep.mk: Remove rules for generating document.
* config/var-def.mk: Remove NOTANGLE and NOWEAVE variables.
* configure.ac: Instantiate Makefile for src/utils.
|
|
New. Abstract over vendor lock-ins CPP flags.
(OPENAXIOM_CHECK_MM): Check for file mapping capability.
|