Age | Commit message (Collapse) | Author | Files | Lines |
|
* interp/database.boot: Likewise.
* interp/debug.lisp: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-cndata.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/guess.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/macros.lisp: Likewise.
* interp/nrungo.boot: Likewise.
* interp/preparse.lisp: Likewise.
* interp/spad.lisp: Likewise.
* interp/sys-macros.lisp: Likewise.
* interp/trace.boot: Likewise.
* interp/types.boot: Likewise.
* interp/vmlisp.lisp: Likewise.
* interp/word.boot: Likewise.
|
|
compiler driver to i-syscmd.boot.
* interp/define.boot: Import "nruncomp", "functor", "package".
* interp/wi2.boot (NRTgetLocalIndex): Remove duplicate.
|
|
|
|
* interp/compiler.boot (quietlyIfInteractive): Use it.
(compQuietly): Likewise.
(compileQuietly): Likewise.
|
|
* algebra/boolean.spad.pamphlet (PropositionalLogic): Extend
SetCategory.
(PropositionalFormula): Now unconditional exports coercion to
OutputForm. Adjust implementation.
(KleeneTrivalentLogic): New.
* algebra/data.spad.pamphlet (Byte): Tidy.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move PROPLOG
to layer 1.
|
|
(|spadHash|): Likewise.
(|$internalHistoryTable|): Don't define here.
(|isBpiOrLambda|): Remove.
(|libraryFileLists|): Likewise.
(|normalizeArgFileName|): Likewise.
(save-system) [LUCID]: Likewise.
(|undoINITIALIZE|): Likewise.
(|isLowerCaseLetter|): Don't define here.
(|isUpperCaseLetter|): Likewise.
(|isLetter|): Likewise.
(printCopyright): Remove.
(user-homedir-pathname): Likewise.
(BUMPCOMPERRORCOUNT): Likewise.
(|cpCms|): Likewise.
(|normalizeTimeAndStringify|): Likewise.
(whocalled): Likewise.
(|compressHashTable|): Likewise.
(SETLETPRINTFLAG): Don't define here.
(RESTART0): Move to sys-driver.boot
* interp/g-util.boot (charRangeTest): Remove.
|
|
* interp/server.boot (parseAndInterpret): Don't set $BOOT.
* interp/setvars.boot (resetWorkspaceVariables): Likewise.
* interp/spad-parser.boot (parseSpadFile): Likewise.
* interp/postpar.boot: Disable Old Boot handling codes.
* interp/metalex.lisp (quote-if-string): Don't test for $BOOT.
* interp/parsing.lisp (IOStat): Likewise.
(IOClear): Likewise.
* interp/ht-util.boot (parseAndEval): Don't set $BOOT.
* interp/int-top.boot (ncTopLevel): Likewise.
* interp/fnewmeta.lisp: Remove Old Boot specific productions.
* interp/sys-macros.lisp (-REDUCE): Don't test for $BOOT.
(SPADDO): Likewise.
* interp/comp.lisp (COMP-TRAN-1): Likewise.
* interp/util.lisp (|string2SpadTree|): Likewise.
* interp/bootlex.lisp (READBOOT): Remove.
(READ-BOOT): Likewise.
(spad): Don't initialize $BOOT.
* interp/debug.lisp (/D-2): Likewise.
|
|
|
|
|
|
Consistently use $InputStream and $OutputStream for I/O.
* interp/c-util.boot: Likewise.
* interp/comp.lisp: Likewise.
* interp/compat.boot: Likewise.
* interp/debug.lisp: Likewise.
* interp/def.lisp: Likewise.
* interp/g-error.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/int-top.boot: Likewise.
* interp/intfile.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/macros.lisp: Likewise.
* interp/metalex.lisp: Likewise.
* interp/msgdb.boot: Likewise.
* interp/patches.lisp: Likewise.
* interp/preparse.lisp: Likewise.
* interp/server.boot: Likewise.
* interp/spad-parser.boot: Likewise.
* interp/spad.lisp: Likewise.
* interp/sys-globals.boot: Likewise.
* interp/sys-macros.lisp: Likewise.
* interp/sys-os.boot: Likewise.
* interp/unlisp.lisp: Likewise.
* interp/vmlisp.lisp: Likewise.
* interp/Makefile.pamphlet (bootlex.$(FASLEXT)): Require
sys-globals.$(FASLEXT) too.
(vmlisp.$(FASLEXT)): Likewise.
|
|
|
|
|
|
(setvars.$(FASLEXT)): Likewise.
(osyscmd.$(FASLEXT)): Likewise.
(intint.$(FASLEXT)): Likewise.
(int-top.$(FASLEXT)): Likewise.
(wi2.$(FASLEXT)): Likewise.
(wi1.$(FASLEXT)): Likewise.
(template.$(FASLEXT)): Likewise.
(package.$(FASLEXT)): Likewise.
(xruncomp.$(FASLEXT)): Likewise.
(interop.$(FASLEXT)): Likewise.
(mark.$(FASLEXT)): Likewise.
(daase.$(FASLEXT)): Likewise.
(monitor.$(FASLEXT)): Likewise.
(hashcode.$(FASLEXT)): Likewise.
(pspad2.$(FASLEXT)): Likewise.
(pspad1.$(FASLEXT)): Likewise.
(nocompil.$(FASLEXT)): Likewise.
(fname.$(FASLEXT)): Likewise.
|
|
(i-syscmd.$(FASLEXT)): Likewise.
(i-spec2.$(FASLEXT)): Likewise.
(i-spec1.$(FASLEXT)): Likewise.
(i-funsel.$(FASLEXT)): Likewise.
(i-map.$(FASLEXT)): Likewise.
(i-eval.$(FASLEXT)): Likewise.
(i-coerfn.$(FASLEXT)): Likewise.
(i-coerce.$(FASLEXT)): Likewise.
(i-resolv.$(FASLEXT)): Likewise.
(i-analy.$(FASLEXT)): Likewise.
(i-code.$(FASLEXT)): Likewise.
(i-intern.$(FASLEXT)): Likewise.
(<<i-analy.clisp>>): Remove.
(<<i-code.clisp>>): Likewise.
(<<i-coerce.clisp>>): Likewise.
(<<i-coerfn.clisp>>): Likewise.
(<<i-eval.clisp>>): Likewise.
(<<i-funsel.clisp>>): Likewise.
(<<i-intern.clisp>>): Likewise.
(<<i-map.clisp>>): Likewise.
(<<i-resolv.clisp>>): Likewise.
(<<i-spec1.clisp>>): Likewise.
(<<i-spec2.clisp>>): Likewise.
(<<i-syscmd.clisp>>): Likewise.
(<<i-toplev.clisp>>): Likewise.
(<<i-util.clisp>>): Likewise.
* apply.boot (compFormWithModemap): Fix syntax.
* i-analy.boot.pamphlet: Push into package "BOOT".
* i-code.boot.pamphlet: Likewise.
* i-coerce.boot.pamphlet: Likewise.
* i-coerfn.boot.pamphlet: Likewise.
* i-eval.boot.pamphlet: Likewise.
* i-funsel.boot.pamphlet: Likewise.
* i-intern.boot.pamphlet: Likewise.
* i-map.boot.pamphlet: Likewise.
* i-resolv.boot.pamphlet: Likewise.
* i-spec1.boot.pamphlet: Likewise.
* i-spec2.boot.pamphlet: Likewise.
* i-syscmd.bot.pamphlet: Likewise.
* i-toplev.boot.pamphlet: Likewise.
* i-util.boot.pamphlet: Likewise.
|
|
Load explicitly.
(<<profile.clisp>>): Remove.
(<<g-cndata.clisp>>): Likewise.
(<<g-opt.clisp>>): Likewise.
(<<g-timer.clisp>>): Likewise.
(<<hypertex.clisp>>): Likewise.
(<<rulesets.clisp>>): Likewise.
(<<ht-util.clisp>>): Likewise.
(<<htsetvar.clisp>>): Likewise.
(<<ht-root.clisp>>): Likewise.
(<<htcheck.clisp>>): Likewise.
(ht-root.$(FASLEXT)): New rule.
(htcheck.$(FASLEXT)): Likewise.
(ht-util.$(FASLEXT)): Likewise.
(htsetvar.$(FASLEXT)): Likewise.
(hypertex.$(FASLEXT)): Likewise.
(profile.$(FASLEXT)): Likewise.
(rulesets.$(FASLEXT)): Likewise.
(g-opt.$(FASLEXT)): Likewise.
(g-timer.$(FASLEXT)): Likewise.
(g-util.$(FASLEXT)): Likewise.
(g-cndata.$(FASLEXT)): Likewise.
* daase.lisp.pamphlet (*attributes*): Move definition to
sys-constants.boot.
* g-cndata.boot.pamphlet: Push into package "BOOT". Fix syntax.
* g-opt.boot.pamphlet: Likewise.
(EqualBarGensym): Fix thinko.
* g-timer.boot.pamphlet: Push into package "BOOT".
* g-util.boot.pamphlet: Likewise.
* ht-root.boot.pamphlet: Likewise. Fix syntax.
* ht-util.boot.pamphlet: Push into package "BOOT".
* htcheck.boot.pamphlet: Likewise.
* htsetvar.boot.pamphlet: Likewise.
* hypertex.boot.pamphlet: Likewise. Fix syntax.
* profile.boot.pamphlet: Likewise.
* rulesets.boot.pamphlet: Likewise.
* setq.lisp.pamphlet (/VERSION): Move definition to sys-globals.boot.
* spad.lisp.pamphlet (/WSNAME): Likewise.
(|rplac|): Move to sys-macros.boot.
|
|
* Makefile.pamphlet (all-interpsys): Now depend on all-depsys.
src/interp/
2007-09-19 Gabriel Dos Reis <gdr@cs.tamu.edu>
* util.lisp.pamphlet ($directory-list): Move to sys-globals.boot.
($library-directory-list): Likewise.
* spad.lisp.pamphlet: Import "bootlex".
* preparse.lisp.pamphlet: Import "fnewmeta".
* postprop.lisp: Import "macros".
* postpar.boot.pamphlet: Import "postprop".
* nlib.lisp.pamphlet (rdefiostream): Define unconditionally.
(get-io-index-stream): Likewise.
(makedir): Likewise.
(get-directory-list): Don't use $current-diretory.
($filetype-table): Move to sys-constants.boot.
* patches.lisp.pamphlet ($current-directory): Remove.
(|cd|): Simplify implementation.
* newaux.lisp.pamphlet: Import "macros".
(|PARSE-NewKEY|): Define.
* metalex.lisp: Move various file, line, stack, character
utilities to here.
* macros.lisp.pamphlet (NREVERSE0): Move to sys-macros.lisp. Tidy.
* fnewmeta.lisp.pamphlet: Import "parsing".
* comp.lisp: Import "macros".
* def.lisp: Likewise.
(B-MDEF): Fix thinko.
* bootlex.lisp: Import "preparse", "def", and "nlib".
(BOOT-LINE-STACK): Move to metalex.lisp.
(NEXT-LINES-CLEAR): Likewise.
(NEXT-LINES-SHOW): Likewise.
(XCAPE): Likewise.
(KEYWORDS): Likewise.
* Makefile.pamphlet (${DEPSYS}): Now have all Lisp in compiled
form and load them.
* bookvol5.pamphlet ($current-directory): Remove.
|
|
export declarations. Import "boot-pkg".
* sys-macros.lisp (EQUABLE): Remove definition.
* sys-constants.boot ($true): Define as twice quoted T.
* hash.lisp.pamphlet: Push into package BOOT, VMLISP.
* ggreater.lisp: Likewise.
* nlib.lisp.pamphlet: Likewise.
* obey.lisp: Likewise.
* construc.lisp.pamphlet: Remove reference to VMLISP package.
* daase.lisp.pamphlet: Likewise.
* debug.lisp.pamphlet: Likewise.
* util.lisp.pamphlet: Likewise.
* cformat.boot: Remove hack for GCL limitation.
* scan.boot: Likewise.
* incl.boot: Likewise.
* parsing.lisp: Likewise.
* bootlex.lisp: Remove reference to VMLISP package.
* union.lisp: Likewise.
* boot-pkg.lisp: Remove hack for GCL limitation. Don't import
"vmlisp" anymore.
* bookvol5.pamphlet (vmlisp::$current-directory): Remove.
* patches.lisp.pamphlet: Likewise.
* astr.boot: Import "vmlisp" instead of "boot-pkg".
* Makefile.pamphlet (boot-pkg.$(FASLEXT)): Don't depend on
vmlisp.$(FASLEXT).
(vmlisp.$(FASLEXT)): Depend on boot=pkg.$(FASLEXT).
|
|
(pile.$(FASLEXT)): Likewise.
(INOBJS): Don't include parini.$(FASLEXT).
* pile.boot: New. Import scan.
* pile.boot.pamphlet: Move content to pile.boot. Remove.
* vmlisp.lisp.pamphlet (|startsId?|): Move to sys-macros.lisp.
* parini.boot.pamphlet: Move content to scan.boot. Remove.
* scan.boot: New. Import bits, dq, incl. Add workaround for GCL
bug.
($SPACE): Rename from SPACE to avoid conflict with CL name.
* scan.boot.pamphlet: Move content to scan.boot. Remove.
|
|
* cstream.boot.pamphlet: Import sys-macros.
* sys-macros.lisp (|shoeConsole|): Move from macros.lisp.pamphlet.
(|shoeInputFile|): Likewise.
(|shoeread-line|): Likewise.
|
|
* vmlisp.lisp.pamphlet: Export WRAP.
* Makefile.pamphlet (<<buildom.clisp>>): Remove.
(buildom.$(FASLEXT)): New rule, setup dependency.
* Makefile.in: Regenerate.
* buildom.boot.pamphlet: Make compilable by bootsys. Import
sys-constants.
* setq.lisp.pamphlet (|$Primitives|): Move to sys-constants.
|
|
* sys-globals.boot: Import sys-constants.
* macros.lisp.pamphlet (|$compilingMape): Move to sys-globals.boot.
(|$definingMap|): Likewise.
($TRACELETFLAG): Likewise.
($NEWSPAD): Likewise.
($BOOT): Likewise.
(MOAN): Move to diagnostic.boot
(FAIL): Likewise.
(KAR): move to sys-macros.lisp
(KDR): Likewise.
(KADR): Likewise.
(KADDR): Likewise.
(|function|): Likewise.
(|dispatchFunction|): Likewise.
(QEQCAR): Likewise.
(BOOT-EQUAL): Likewise.
(IDENT-CHAR-LIT): Likewise.
(EQQUAL): Likewise.
(NEQUAL): Likewise.
(EQUABLE): Likewise.
(MKQ): Likewise.
(IS): Likewise.
(LETT): Likewise.
(SPADLET): Likewise.
(RPLAC): Likewise.
(CARCDREXPAND): Likewise.
(RENAME): Likewise.
(CARCDRX1): Likewise.
(APPLYR): Likewise.
(REPEAT): Likewise.
(REPEAT-TRAN): Likewise.
(MKPF): Likewise.
(MKPFFLATTEN): Likewise.
(MKPFFLATTEN-1): Likewise.
(MKPF1): Likewise.
(-REPEAT): Likewise.
(SEQOPT): Likewise.
(SUCHTHATCLAUSE): Likewise.
(SPADDO): Likewise.
(SPAD_LET): Likewise.
(COLLECT): Likewise.
(COLLECTVEC): Likewise.
(COLLECTV): Likewise.
(MKQSADD1): Likewise.
(YIELD): Likewise.
(REMFLAG): Likewise.
(FLAGP): Likewise.
(INTERNL): Likewise.
(SPADCATCH): Likewise.
(SPADTHROW): Likewise.
(IEQUAL): Likewise.
(GE): Likewise.
(GT): Likewise.
(LE): Likewise.
(LT): Likewise.
(QSADDMOD): Likewise.
(QSDIFMOD): Likewise.
(QSMULTMOD): Likewise.
(NLIST): Likewise.
(SPADREDUCE): Likewise.
(AND2): Likewise.
(OR2): Likewise.
(REDUCE-1): Likewise.
(-REDUCE): Likewise.
(-REDUCE-OP): Likewise.
(NREVERSE-N): Likewise.
(CONS-N): Likewise.
(APPEND-N): Likewise.
(REDUCE-N): Likewise.
(REDUCE-N-1): Likewise.
(REDUCE-N-2): Likewise.
(THETA): Likewise.
(THETA1): Likewise.
(THETA_ERROR): Likewise.
(SPADFIRST): Likewise.
(FIRST-ERROR): Likewise.
(ELEM): Likewise.
(TAIL): Likewise.
(PARTCODET): Likewise.
(SPADCALL): Likewise.
(S+): Likewise.
(S*): Likewise.
(S-): Likewise.
(DELASC): Likewise.
(|char|): Likewise.
(MAKE-BF): Likewise.
(MAKE-FLOAT): Likewise.
* def.lisp.pamphlet (MK_LEFORM): Move to sys-macros.lisp.
(MK_LEFORM-CONS): Likewise.
* Makefile.pamphlet (${DEPSYS}): Depend on sys-macros.lisp.
(sys-globals.$(FASLEXT)): New rule.
|