Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
(executeSpadScript): Use it.
(compileSpadLibrary): Likewise.
* interp/i-syscmd.boot (spool): Synchronize with standard output.
* boot/translator.boot (bpOutItem): Tidy.
|
|
string2BootTree.
* boot/translator.boot (BOOTTOCL): Tidy.
(BOOTTOCLC): Likewise.
(BOOTTOCLLINES): Likewise.
(BOOTTOCLCLINES): Likewise.
(string2BootTree): Define.
(translateToplevelExpression): Tidy.
(translateToplevel): Handle atoms. Tidy.
(shoePCompileTrees): Don't use bStreamPackageNull.
* interp/boot-pkg.lisp: Import $interactiveMode and string2BootTree.
* interp/util.lisp (string2BootTree): Remove.
(OLD-BOOT::BOOT): Likewise.
* interp/bootlex.lisp (boot): Likewise.
(boot-parse-1): Likewise.
* interp/compiler.boot (compileNot): Fix thinko.
* interp/sys-globals.boot ($InteractiveMode): Don't define here.
|
|
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/tokens.boot: Likewise.
* boot/translator.boot: Likewise.
|
|
* lisp/core.lisp.in ($effectiveFaslType): New.
* boot/translator.boot (needsStableReference?): Handle the ECL case.
(coerceToNativeType): Likewise.
(genImportDeclaration): Likewise.
(shoeRemoveStringIfNec): Fix thinko.
($bootDefined): Define.
($bootDefinedTwice): Likewise.
($lispWordTable): Likewise.
(getIntermediateLispFile): Use $effectiveFaslType.
(loadSystemRuntimeCore): Use coreError, not systemError.
|
|
(setqMultiple): Likewise.
* interp/def.lisp (DEF-IS2): Likewise.
* interp/define.boot (compAdd): Likewise.
* interp/fnewmeta.lisp (|PARSE-Enclosure|): Likewise.
* interp/fortcall.boot (lmultiToUnivariate): Likewise.
(functionAndJacobian): Likewise.
(vectorOfFunctions): Likewise.
* interp/mark.boot (markMultipleExplicit): Likewise.
(markInsertBodyParts): Likewise.
* interp/nruncomp.boot (NRTaddDeltaCode): Likewise.
* interp/nrunopt.boot (NRTextendsCategory1): Likewise.
* interp/postpar.boot (postTransform): Likewise.
(postTran): Likewise.
(postPretend): Likewise.
(postConstruct): Likewise.
(postBlockItem): Likewise.
(postCategory): Likewise.
(postForm): Likewise.
(postTransScripts): Likewise.
(postJoin): Likewise.
(postMapping): Likewise.
(postCollect): Likewise.
(postInSeq): Likewise.
(postType): Likewise.
(post%Comma): Rename from postTuple.
(unComma): Rename from unTuple.
(comma2Tuple): Remove.
* interp/trace.boot (traceSpad2Cmd): Use %Comma, not Tuple.
* interp/wi1.boot (compSetq1): Likewise.
(setqMultiple):Likewise.
* boot/translator.boot (compileBootHandler): Give up if
translation to Lisp contained errors.
* testsuite/compiler/aw-420.spad: New.
|
|
* interp/database.boot: Likewise.
* interp/format.boot: Likewise.
* interp/g-timer.boot: Likewise.
* interp/i-analy.boot: Likewise.
* interp/i-coerce.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-eval.boot: Likewise.
* interp/i-intern.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-resolv.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/msgdb.boot: Likewise.
* interp/newfort.boot: Likewise.
* boot/includer.boot (diagnosticLocation): New.
* boot/ast.boot (bfReName): Use it.
|
|
(maybeExportDecl): New.
|
|
Update all boot files to use `namespace' instead of `)package'.
* interp/: Likewise.
|
|
|
|
(bpExports): Likewise.
(bpModule): Use it.
* boot/ast.boot (bfCreateDef): Tidy.
* boot/strap: Update cached Lisp translation.
|
|
|
|
|
|
|
|
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/tokens.boot: Likewise.
* boot/translator.boot: Likewise.
* boot/strap: Update Lisp translation.
* lisp/core.lisp.in: Tidy.
|
|
|
|
* interp/br-util.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/define.boot: Likewise.
* interp/g-cndata.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/nrungo.boot: Likewise.
* interp/rulesets.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/Makefile.pamphlet (br-util.$(FASLEXT)): Don't compile as
Old Boot.
(bc-solve.$(FASLEXT)): Likewise.
(ht-util.$(FASLEXT)): Likewise.
(rulesets.$(FASLEXT)): Likewise.
(i-object.$(FASLEXT)): Likewise.
(i-util.$(FASLEXT)): Likewise.
(nrunfast.$(FASLEXT)): Likewise.
(nrungo.$(FASLEXT)): Likewise.
(iterator.$(FASLEXT)): Likewise.
(cattable.$(FASLEXT)): Likewise.
(c-doc.$(FASLEXT)): Likewise.
(posit.$(FASLEXT)): Likewise.
(modemap.$(FASLEXT)): Likewise.
(slam.$(FASLEXT)): Likewise.
(clammed.$(FASLEXT)): Likewise.
(g-opt.$(FASLEXT)): Likewise.
(g-error.$(FASLEXT)): Likewise.
(pathname.$(FASLEXT)): Likewise.
(g-util.$(FASLEXT)): Likewise.
(g-cndata.$(FASLEXT)): Likewise.
* boot/tokens.boot: Remove renaming of NOT to NULL, when compiling
Old Boot.
|
|
|
|
(bfParameterList): New.
(bfInsertLet): Use it.
(bfInsertLet1): Handle parameter with default values.
* boot/parser.boot (bpRegularBVItemTail): Split from bpRegularBVItem.
(bpRegularBVItem): Tidy.
|
|
* interp/define.boot: Add declarations.
* interp/types.boot (%Signature): New.
|
|
* boot/parser.boot (bpTypeAliasDefition): Support parameterized alias.
* boot/ast.boot (quote): New.
(backquote): Likewise.
(genTypeAlias): Likewise.
|
|
* boot/tokens.boot (second): Now candidate for renaming in
generated Lisp code.
(third): Likewise.
src/input/
* input/mapleok.input.pamphlet: Fix typo.
|
|
|
|
(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.
|
|
|
|
* interp/sys-driver.boot (stdStreamIsTerminal): Simplify.
|
|
(char_type): Likewise.
(int_type): Likewise.
(float_type): Likewise.
(double_type): Likewise.
(string_type): Likewise.
(pointer_type): Likewise.
(edit): Use them.
* interp/wi1.boot (ppFull): Tidy. Don't set *PRINT-DEPTH*.
* interp/vmlisp.lisp (gcmsg): Define when SBCL.
* interp/template.boot (measureCommon): Fix thinko.
* interp/sys-utility.boot: Move basic type definition from
g-util.boot to here.
* interp/g-util.boot (augProplistOf): Fix signature declaration.
* interp/daase.lisp: Tidy.
* interp/c-util.boot (displayComp): Remove assignment to
$X,$M,$F.
* interp/boot-pkg.lisp: Tidy.
* interp/axext_l.lisp: Likewise.
* interp/Makefile.pamphlet (makeint.lisp): Call GBC only when GCL.
($(axiom_targetdir)/algebra/exposed.$(FASLEXT)): Tidy.
(patches.$(FASLEXT)): Require debug.$(FASLEXT), g-timer.$(FASLEXT).
(wi2.$(FASLEXT)): Require define.$(FASLEXT).
(spad.$(FASLEXT)): Require postpar.$(FASLEXT), debug.$(FASLEXT).
* boot/translator.boot (genImportDeclaration): Include translation
for SBCL.
* boot/parser.boot (bpMapping): Tidy.
* boot/ast.boot (coreSymbol): New.
(bootSymbol): Likewise.
(bootSymbol): Likewise.
* lisp/core.lisp.in (|$NativeTypeTable|): New. Export.
* algebra/Makefile.pamphlet (COMPILE_LISP): Use $(INTERPSYS).
* algebra/exposed.lsp.pamphlet: Tidy.
|
|
|
|
(bTry): Use it.
* boot/strap: Update.
|
|
* boot/tokens.boot (shoeKeyWords): Add new keywords.
* boot/ast.boot (Ast): Include three new nodes.
(bfTry): New.
(bfThrow): Likewise.
* boot/parser.boot ($bodyHasReturn): Remove.
(bpNoteReturnStmt): Likewise.
(bpThrow): New.
(bpTry): Likewise.
(bpPiledCatchItems): Likewise.
(bpCatchItemList): Likewise.
(bpExceptionHead): Likewise.
(bpExceptionTail): Likewise.
(bpException): Likewise.
(bpCatchItem): Likewise.
(bpReturn): Include `throw' expressions.
(bpStatement): Include `try' expressions.
* interp/macros.lisp (|tryLine|): Rename from |try|.
* interp/pspad1.boot: Replace `try' with `tryLine' throughout.
|
|
(bpOutItem): Use it.
* boot/ast.boot (needsPROG): New.
(shoeCompTran): Use it. Tidy.
(bfMain): Define cache variables before functions manipulating them.
* boot/strap/: Update cached Lisp translations.
* interp/g-timer.boot: Use assignment instead of SETANDFILEQ at
toplevel.
* interp/i-syscmd.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/trace.boot: Likewise.
|
|
|
|
|
|
|
|
* boot/ast.boot (bfUntuple): New.
(bfTagged): Toplevel tags are signatures.
* boot/parser.boot (bpTyping): New.
(bpTagged): Use it.
* boot/translator.boot (genDeclaration): New.
(bpOutItem): Use it.
* interp/compiler.boot: Add type annotations for compiler routines.
* lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Don't turn on emit-fn.
|
|
* boot/translator.boot: New.
* boot/translator.boot: Remove.
* boot/tokens.boot: New.
* boot/tokens.boot.pamphlet: Remove.
* boot/scanner.boot: New.
* boot/scanner.boot.pamphlet: Remove.
* boot/pile.boot: New.
* boot/pile.boot.pamphlet: Remove.
* boot/parser.boot: New.
* boot/parser.boot.pamphlet: New.
* boot/initial-env.lisp: New.
* boot/initial-env.lisp.pamphlet: Remove.
* boot/includer.boot: New.
* boot/includer.boot.pamphlet: Remove.
* boot/ast.boot: New.
* boot/ast.boot.pamphlet: Remove.
|
|
bindings.
* interp/msgdb.boot (brightPrint0): Don't highlight if the
standard output is not attached to a terminal.
* interp/sys-driver.boot (stdStreamIsTerminal): New.
* lib/cfuns-c.c (std_stream_is_terminal): New.
|
|
|
|
|
|
|
|
2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* initial-env.lisp.pamphlet ("BOOTTRAN"): Don't use SYSTEM package.
interp/
2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* lisplib.boot (getSlotFromDomain): Use pointer to function Undef
directly, instead of variable Undef.
* i-syscmd.boot (cd): Move from patches.lisp to here.
* g-timer.boot (printTimeIfTrue): Move from patches.lisp to here.
* patches.lisp (Undef): Remove.
($printTimeIfTrue): Move to g-timer.boot.
(cd): Move to i-syscmd.boot.
(nullstream): Remove.
(nononullstream): Likewise.
(/MAJOR-VERSION): Move to sys-constants.boot.
* setq.lisp (/MAJOR-VERSION): Remove.
lisp/
2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* core.lisp.in ("AxiomCore"): Don't use SYSTEM package.
|
|
getOutputPathname.
|
|
2007-12-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (boot_objects_extra): New.
(stage0/bootsys$(EXEEXT)): Use it.
(stage1/bootsys$(EXEEXT)): Likewise.
(stage2/bootsys$(EXEEXT)): Likewise.
src/lisp/
2007-12-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (base_lisp_objects): New. Abstract over
Lisp compilation models.
(core.$(FASLEXT)): Tidy.
* core.lisp.in (|getOutputPathname|): Make unary.
(|link|): Make sure object files are used to construct ECL
programs.
(|makeHandler|): Adjust.
(|compileLispFile|): Likewise.
|
|
2007-11-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
* ast.boot.pamphlet (bfReduce): Compute left reduction, not right
reduction.
src/interp/
2007-11-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (nrunopt.$(FASLEXT)): New rule.
(<<nrunopt.clisp>>): Remove.
* define.boot: Fix syntax.
* nruncomp.boot: Likewise.
* nrunopt.boot.pamphlet: Push into package "BOOT". Fix syntax.
* wi2.boot: Fix syntax.
|
|
Update cached Lisp translation.
* translator.boot.pamphlet (BOOTTOCL): Don't set $bfClamming.
(BOOTCLAMLINES): Likewise.
(BOOTCLAM): Don't set it.
(BOOTTOCLCLINES): Likewise.
(BOOTTOMC): Likewise.
(EVAL_-BOOT_-FILE): Likewise.
(BO): Likewise.
(STEVAL): Likewise.
(STTOMC): Likewise.
(FC): Likewise.
(PSTTOMC): Likewise.
(BOOTLOOP): Likewise.
Update cached Lisp translation.
|
|
Update cached Lisp translation.
* includer.boot.pamphlet: Update cached Lisp translation.
* parser.boot.pamphlet: Likewise.
* pile.boot.pamphlet: Likewise.
* scanner.boot.pamphlet: Likewise.
* tokens.boot.pamphlet: Likewise.
* translator.boot.pamphlet: Likewise.
|
|
|
|
|
|
|
|
(bfSameMeaning): Likewise.
(bfReName): Use them.
* parser.boot.pamphlet (bpCompare): Tidy.
* tokens.boot.pamphlet: Rename NE to SHOENE. Record Old Boot
renaming tokens. Likewise for tokens with same meaning.
* translator.boot.pamphlet (AxiomCore::%sysInit): New.
($translatingOldBoot): Likewise.
|