Age | Commit message (Collapse) | Author | Files | Lines |
|
* boot/parser.boot (bpDo): Accept scoped expressions.
* boot/translator.boot: Cleanup.
|
|
forms. Translate %Namespace forms too.
* boot/parser.boot (bpApplication): Include Namespace too.
|
|
|
|
(BEVC-MAKE-FULL): Likewise.
(MAKE-BVEC): Likewise.
* boot/tokens.boot (shoeKeyTableCons): Adjust.
(shoePunCons): Likewise.
(shoeDfu): Likewise.
(shoeXref): Likewise.
|
|
|
|
|
|
callers to use outputTextFile.
|
|
callers to use inputTextFile with try/finally.
|
|
|
|
|
|
starting with the keyword "MACRO".
* boot/translator.boot (exportNames): Export them in all
evaluation contexts.
* interp/c-util.boot: "macro" is now a keyword.
* interp/define.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/postpar.boot: Likewise.
|
|
* boot/parser.boot (bpTyping): Support universally quantified types.
* boot/ast.boot: Rewrite APPEND as append.
(%Forall): New AST node.
* boot/translator.boot: Translate it.
|
|
|
|
(translateToplevel): Use it.
* boot/parser.boot (bpImport): Accept namespace import.
|
|
* boot/ast.boot (shoeATOMs): Don't use it.
(isDynamicVariable): Likewise.
(shoeCompTran1): Likewise.
* boot/translator.boot (defuse1): Likewise.
|
|
(bfDoCollect): Tidy.
|
|
list comprehension.
(bfListReduce): Use it.
|
|
* boot/initial-env.lisp (SETDIFFERNECE): Remove.
* boot/translator.boot (evalBootFile): Rename form EVAL-BOOT-FILE.
* boot/utility.boot (setDifference): Define.
* interp/unlisp.lisp (ListMemberQ?): Remove.
(ListRemoveQ): Likewise.
(AlistAssocQ): Likewise.
|
|
* boot/utility.boot (reverse!): Define.
* boot/parser.boot: Use reverse! instead of NREVERSE.
* boot/ast.boot: Generate reverse! forms instead of NREVERSE.
|
|
* interp/define.boot (orderBySubsumption): Fix thinko.
* interp/boot-pkg.lisp: Use BOOTTRAN package. Don't import names
individually.
* boot/utility.boot: New.
* boot/translator.boot (exportNames): Fix thinko.
* boot/tokens.boot: Add charEq? and scalarEq? builtiin functions.
* boot/ast.boot (bfMember): Generate call to symbolMember? for
membership tests for symbols.
|
|
* boot/parser.boot (bpModuleInterface): Rename from bpExports.
(bpModuleExports): New.
(bpModule): Now allow specification of exported names.
|
|
(FBO): Likewise.
(FEV): Likewise.
(shoeGeneralFC): Likewise.
(shoeFindName): Likewise.
(shoeFindName2): Likewise.
(shoeTransform2): Likewise.
* boot/scanner.boot (shoeLineToks): Don't support `)package' line
anymore.
* boot/includer.boot: Remove support for `)package', `)include',
`)includelisp', `)includelines' lines.
(shorPackageStartsAt): Remove.
(shorFindLines): Likewise.
(shoeFileInput): Likewise.
(shoeLispFileInput): Likewise.
(shoeLineFileInput): Likewise.
(shoeFunctionFileInput): Likewise.
(shoePlainLine?): Reflect removal.
(shoeSimpleLine): Likewise.
* boot/tokens.boot (charByName): New builtin library function.
* algebra/sf.spad.pamphlet (RealNumberSystem): Don't re-export
abs. It is already exported by OrderedRing.
|
|
|
|
|
|
|
|
* boot/ast.boot: Replace IDENTP with symbol? where appropriate.
* boot/parser.boot: Likewise.
* boot/translator.boot: Likewise.
|
|
with try/finally.
(BOOTTOCLC): Likewise.
|
|
* 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/msg.boot: Remove uses of cons.
* interp/postpar.boot: Likewise.
* interp/types.boot: Likewise.
|
|
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* lisp/core.lisp.in ($FilesToRetain): New. Export.
* lisp/Makefile.in: Tidy.
* boot/translator.boot (retainFile?): New.
(compileBootHandler): Use it.
|
|
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/tokens.boot: Likewise.
* boot/translator.boot: Likewise.
|
|
|
|
|
|
pattern matching to the body of the branch.
(bfSequence): Use it.
|
|
|
|
|
|
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/scanner.boot: Likewise.
|
|
|
|
structure in a temporary.
(bfCI): Adjust generation of selectors.
|
|
(bfDefinition): Remove.
(bfSimpleDefinition): Likewise.
(bfCompDef): Likewise.
(bfDefSequence): Likewise.
(defSheepAndGoats): Tidy.
* boot/parser.boot (bpSimpleDefinitionTail): Likewise.
(bpCompoundDefinitionTail): Likewise.
(bpDefinitionPileItems): Likewise.
(bpSemiColonDefinition): Likewise.
* boot/translator.boot (translateToplevel): Likewise.
|
|
* boot/parser.boot: Likewise.
* boot/translator.boot: Likewise.
|
|
* boot/parser.boot (bpExceptionTail): Fix typo.
(bpOutItem): Move from translator.boot.
|
|
when it is already reduced.
|
|
* boot/ast.boot (%Ast): Add %Namespace branch.
* boot/parser.boot (bpNamespace): New.
(bpComma): Adjust.
|
|
* boot/ast.boot (bfGetOldBootName): Remove.
(bfSameMeaning): Likewise.
(bfReName): Don't compute the diff between old and new Boot.
* boot/translator.boot ($translatingOldBoot): Remove.
(AxiomCore::%sysInit): Don't set it.
|
|
* boot/translator.boot: Adjust.
* boot/parser.boot: Likewise.
|
|
bootstrapping.
|