Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
Replace references to $stok.
|
|
(bfISReverse) Use it. Don't use bpTrap.
(bfIS1): Likewise.
(bfParameterList): Likewise.
(bfHandlers): Likewise.
* boot/parser.boot (bpTrap): Take a parser state argument.
Adjust callers.
|
|
* boot/translator.boot (shoeOutParse): Likewise.
|
|
* boot/translator.boot (shoeOutParse): Likewise.
|
|
* boot/translator.boot: Likewise.
|
|
Remove references to $inputStream.
* boot/translator.boot (shoeOutParse): Remove $inputStream.
|
|
(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.
|
|
(tokenInstall): Remove.
(getSpadIntegerToken): Lose parameter. Adjust callers.
(getNumberToken): Likewise.
(getArgumentDesignator): Likewise.
(getToken): Likewise.
(getSpadString): Likewise.
(getSpecial): Likewise.
(getGliph): Likewise.
(getIdentifier): Likewise.
* lisp/core.lisp.in ($stdio): New.
* boot/includer.boot: Use it.
* boot/translator.boot: Likewise.
* boot/utility.boot (stringPrefix?): New.
|
|
* 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.
|
|
(backquote): Do not quote integer and string literals.
|
|
|
|
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.
|
|
|
|
* interp/spad.lisp (knownEqualPred): Move to buildom.boot
(hashable): Likewise.
Remove junk.
* interp/debug.lisp: Remove junk.
* interp/vmlisp.lisp: Likewise.
|
|
|
|
(lexerRefresh?): New.
(lexerSetLine!): Likewise.
(lexerSkipBlank!): Likewise.
(lexerSkipToEnd!): Likewise.
(lexerAdvancePosition!): Likewise.
(lexerCharCountToCompleteTab): Likewise.
(lexerCurrentChar): Likewise.
(lexerCharPosition): Likewise.
(lexerCharacterAt): Likewise.
(lexerEol?): Likewise.
|
|
(shoeNextLine): Use it in replacement of $sz.
(shoeLineToks): Likewise.
(shoeLispEscape): Likewise.
(shoeEsc): Likewise.
(shoeStartsComment): Likewise.
(shoeStartsNegComment): Likewise.
(shoeNegComment): Likewise.
(shoeComment): Likewise.
(shoePossFloat): Likewise.
(shoeSpace): Likewise.
(shoeS): Likewise.
(shoeW): Likewise.
(shoeInteger1): Likewise.
(shoeNumber): Likewise.
(shoeExponent): Likewise.
|
|
|
|
Add a lexer parameter to all lexing functions that need one.
Adjust their callers.
|
|
* boot/ast.boot (bfRestrict): New.
(bpTyped): Rename from bpTagged. Accept type restriction.
* boot/utility.boot (drop): Restrict the result to a %List.
|
|
(makeConstructor): Likewise.
(makeInitialDB): Tidy.
* interp/daase.lisp (makeDB): Take two more parameters. Build a
%Constructor structure object too.
|
|
specified.
* interp/database.boot (populateDFFromFile): Remove.
(printAllInitdbInfo): Write as as Lisp file.
* algebra/Makefile.in (COMPILE_SPAD): initdb is now a FASL.
(BOOTSTRAP): Likewise.
(strap-2/%.$(FASLEXT)): Likewise.
(initdb.$(FASLEXT)): New.
|
|
(GETSTR): Likewise.
* interp/sys-macros.lisp (INTERNL): Likewise.
* interp/macros.lisp: Move content to vmlisp.lisp. Remove.
* interp/Makefile.in: Adjust.
* interp/debug.lisp: Now import sys-macros
* interp/fname.lisp: Likewise.
* interp/format.boot: Likewise.
* interp/g-timer.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/htcheck.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/monitor.lisp: Likewise.
* interp/newaux.lisp: Likewise.
* interp/newfort.boot: Likewise.
* interp/nlib.lisp: Likewise.
* interp/postpar.boot: Likewise.
* interp/profile.boot: Likewise.
* interp/server.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/setvart.boot: Likewise.
* interp/sfsfun.boot: Likewise.
* interp/simpbool.boot: Likewise.
* interp/spad.lisp: Likewise.
* interp/termrw.boot: Likewise.
* interp/topics.boot: Likewise.
|
|
(makeSourceLine): New.
Use source line macro accessors.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
|
|
* interp/database.boot: Likewise.
* interp/format.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/match.boot: Likewise.
* interp/scan.boot: Likewise.
* interp/trace.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.
|
|
record structure.
(copyToken): Adjust.
(tokenSymbol): Remove as now automatically generated.
(tokenType): Likewise.
(tokenNonblank?): Likewise.
* boot/ast.boot (bfRecordDef): Specify a name for a copier function.
|
|
* boot/tokens.boot: "with" is now a keyword in Boot.
* boot/parser.boot (bpSignature): The typing is required afte the
colong.
(bpFieldList): New.
(bpGlobalAccessors): Likewise.
(bpAccessorDefinitionList): Likewise.
(bpAccessorDefinition): Likewise.
(bpFieldSection): Likewise.
(bpSelectField): Likewise.
(bpRecord): Likewise.
(bpStruct): Use it to implement record structures.
* boot/ast.boot (%Ast): Add %Record and %AccessorDef.
(bfRecordDef): New.
|
|
(shoePROG): Likewise.
(declareLocalVars): New.
(maybeAddBlock): Likewise.
(hasReturn?): Likewise.
(shoeCompTran): Tidy.
|
|
* interp/spad-parser.boot (floatExponent): New.
(parseFloatExponent): Use it instead of FLOATEXPID.
* interp/lexing.boot (nextLinesClear!): New.
(ioClear!): Likewise.
(OUT-STREAM): Define here.
* interp/debug.lisp: Import lexing instead of parsing. Tidy.
* interp/preparse.lisp: Likewise.
* interp/spad.lisp: Likewise.
* interp/util.lisp: Likewise.
* interp/Makefile.in (OBJS): Do not include parsing.$(FASLEXT).
(parsing.$(FASLEXT)): Remove. Adjust dependents.
|
|
avoiding awakening GCL bug and quadratic traversal of lines.
(parsePiles): Simplify.
|
|
to spad-parser.boot.
* interp/parsing.lisp (MATCH-ADVANCE-SPECIAL): Remove.
(MATCH-SPECIAL): Likewise.
(MATCH-KEYWORD-NEXT): Likewise.
(INITIAL-SUBSTRING-P): Likewise.
(TERMCHR): Likewise.
(dollarTran): Simplify and move to spad-parser.boot.
|
|
(getIntegerInRadix): Likewise.
(getSpadIntegerToken): Likewise.
(getToken): Use it.
* interp/Makefile.in (bootlex.$(FASLEXT)): Remove rule.
(OBJS): Do not include it.
* interp/bootlex.lisp: Remove.
|
|
(parseDara): Likewise. Do not set LABLASOC.
* interp/bootlex.lisp (PRINT-DEFUN): Remove.
(TRANSLABEL): Likewise.
(TRANSLABEL1): Likewise.
* interp/preparse.lisp (LABLASOC): Likewise.
|
|
(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)
|
|
(CONVERSATION1): Likewise.
(MAKE-PARSE-FUNCTION): Likewise.
(MAKE-PARSE-FUNCTION1): Likewise.
(MAKE-PARSE-FUNC-FLATTEN): Likewise.
(MAKE-PARSE-FUNC-FLATTEN-1): Likewise.
(TRANSPGVAR): Likewise.
(GETRULEFUNLISTS): Likewise.
(REDUCTION-PRINT): Likewise.
(TRACEMETA): Likewise.
(TRMETA): Likewise.
(TRMETA1): Likewise.
(/MDEF): Likewise.
* interp/macros.lisp (EXPAND-TABS): Likewise.
* interp/spad.lisp (READ-SPAD): Likewise.
(READ-INPUT): Likewise.
(READ-SPAD0): Likewise.
(READ-SPAD1): Likewise.
(READ-SPAD-1): Likewise.
(New,ENTRY,1): Likewise.
(New,ENTRY,2): Likewise.
* interp/bootlex.lisp (SPAD_SYNTAX_ERROR): Move to debug.lisp.
(SPAD_LONG_ERROR): Likewise.
(SPAD_SHORT_ERROR): Likewise.
(SPAD_ERROR_LOC): Likewise.
* interp/c-util.boot (COMP370): Move to lisp-backend.boot.
(compQuietly): Move to slam.boot.
|
|
* boot/translator.boot (shoeRemovebootIfNec): Use it.
|
|
* lisp/core.lisp.in ($stdin): Demote to DEFPARAMETER.
($stdout): Likewise.
|
|
(shoeCompTran1): Partially defer translation of fluid variable
definition.
(bindFluidVars!): New. Complete translation.
(groupFluidVars): New.
* interp/newfort.boot (fortFormatIntrinsics): Remove redundant return.
|
|
Remove globals. Adjust caller.
(shoeCompTran): Replace fluid variables by references.
|
|
* boot/ast.boot (%Ast): Add %Dynamic variant.
(bfColonColon): Use symbolBinding instead of FIND-SYMBOLS.
(compFluid): Return a %Dynamic form. Adjust callers.
(shoeCompTran): Tidy.
* boot/translator.boot (BOOTLOOP): Tidy.
(BOOTPO): Likewise.
|
|
* 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.
|
|
* interp/compiler.boot: Likewise.
* interp/database.boot: Likewise.
* interp/debug.lisp: Likewise.
* interp/format.boot: Likewise.
* interp/g-timer.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/macros.lisp: Likewise.
* interp/monitor.lisp: Likewise.
* interp/msgdb.boot: Likewise.
* interp/newfort.boot: Likewise.
* interp/nlib.lisp: Likewise.
* interp/parsing.lisp: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/posit.boot: Likewise.
* interp/sfsfun.boot: Likewise.
* interp/util.lisp: Likewise.
|
|
|
|
* interp/preparse.lisp: Use it instead of SEARCH.
|
|
* interp/preparse.lisp (preparse1): Use it instead of POSITION.
|
|
Rename as parsePrint.
|