diff --git a/changelog b/changelog index fea51da..9f78093 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,8 @@ +20090805 tpd src/axiom-website/patches.html 20090805.02.tpd.patch +20090805 tpd src/interp/Makefile remove bootfuns.lisp +20090805 tpd src/interp/debugsys.lisp remove bootfuns reference +20090805 tpd src/interp/vmlisp.lisp merge bootfuns.lisp +20090805 tpd src/interp/bootfuns.lisp removed, merged with vmlisp.lisp 20090805 tpd src/axiom-website/patches.html 20090805.01.tpd.patch 20090805 tpd src/interp/debugsys.lisp remove hash.lisp reference 20090805 tpd src/interp/Makefile remove hash.lisp diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index ad85d55..b31b41d 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1742,6 +1742,8 @@ Makefile make parallel make the default (bug 7202)
vmlisp.lisp and ggreater.lisp merged
20090805.01.tpd.patch vmlisp.lisp and hash.lisp merged
+20090805.02.tpd.patch +vmlisp.lisp and bootfuns.lisp merged
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet index 12d6fc1..32b1947 100644 --- a/src/interp/Makefile.pamphlet +++ b/src/interp/Makefile.pamphlet @@ -128,7 +128,6 @@ expanded in later compiles. All macros are assumed to be in this list of files. <>= DEP= ${MID}/vmlisp.lisp \ - ${MID}/bootfuns.lisp \ ${MID}/union.lisp ${MID}/nlib.lisp \ ${MID}/macros.lisp ${MID}/comp.lisp \ ${MID}/spaderror.lisp ${MID}/debug.lisp \ @@ -177,8 +176,8 @@ by being compiled. The file http.lisp contains code to enable browser-based hyperdoc and graphics. <>= -OBJS= ${OUT}/vmlisp.${O} ${OUT}/hash.${O} \ - ${OUT}/bootfuns.${LISP} ${OUT}/macros.${O} \ +OBJS= ${OUT}/vmlisp.${O} \ + ${OUT}/macros.${O} \ ${OUT}/unlisp.${O} ${OUT}/setq.${LISP} \ ${OUT}/astr.${O} ${OUT}/bits.${O} \ ${OUT}/alql.${O} ${OUT}/buildom.${O} \ @@ -424,7 +423,7 @@ DOCFILES=${DOC}/alql.boot.dvi \ ${DOC}/astr.boot.dvi ${DOC}/ax.boot.dvi \ ${DOC}/axext_l.lisp.dvi \ ${DOC}/bc-matrix.boot.dvi \ - ${DOC}/bits.lisp.dvi ${DOC}/bootfuns.lisp.dvi \ + ${DOC}/bits.lisp.dvi \ ${DOC}/br-con.boot.dvi \ ${DOC}/buildom.boot.dvi \ ${DOC}/category.boot.dvi ${DOC}/cattable.boot.dvi \ @@ -446,7 +445,7 @@ DOCFILES=${DOC}/alql.boot.dvi \ ${DOC}/g-opt.boot.dvi \ ${DOC}/g-timer.boot.dvi \ ${DOC}/g-util.boot.dvi ${DOC}/hashcode.boot.dvi \ - ${DOC}/hash.lisp.dvi ${DOC}/htcheck.boot.dvi \ + ${DOC}/htcheck.boot.dvi \ ${DOC}/ht-util.boot.dvi \ ${DOC}/i-analy.boot.dvi ${DOC}/i-code.boot.dvi \ ${DOC}/i-coerce.boot.dvi ${DOC}/i-coerfn.boot.dvi \ @@ -951,33 +950,6 @@ ${DOC}/bits.lisp.dvi: ${IN}/bits.lisp.pamphlet @ -\subsection{bootfuns.lisp \cite{3}} -<>= -${OUT}/bootfuns.${LISP}: ${MID}/bootfuns.lisp - @ echo 16 making ${OUT}/bootfuns.${LISP} from ${MID}/bootfuns.lisp - @ cp ${MID}/bootfuns.lisp ${OUT}/bootfuns.${LISP} - -@ -<>= -${MID}/bootfuns.lisp: ${IN}/bootfuns.lisp.pamphlet - @ echo 17 making ${MID}/bootfuns.lisp from ${IN}/bootfuns.lisp.pamphlet - @ (cd ${MID} ; \ - ${TANGLE} ${IN}/bootfuns.lisp.pamphlet >bootfuns.lisp ) - -@ -<>= -${DOC}/bootfuns.lisp.dvi: ${IN}/bootfuns.lisp.pamphlet - @echo 18 making ${DOC}/bootfuns.lisp.dvi \ - from ${IN}/bootfuns.lisp.pamphlet - @(cd ${DOC} ; \ - cp ${IN}/bootfuns.lisp.pamphlet ${DOC} ; \ - ${DOCUMENT} ${NOISE} bootfuns.lisp ; \ - rm -f ${DOC}/bootfuns.lisp.pamphlet ; \ - rm -f ${DOC}/bootfuns.lisp.tex ; \ - rm -f ${DOC}/bootfuns.lisp ) - -@ - \subsection{cfuns.lisp \cite{10}} <>= ${OUT}/cfuns.${O}: ${MID}/cfuns.lisp @@ -1303,40 +1275,6 @@ ${DOC}/fortcall.boot.dvi: ${IN}/fortcall.boot.pamphlet @ -\subsection{hash.lisp \cite{20}} -<>= -${OUT}/hash.${O}: ${MID}/hash.lisp - @ echo 60 making ${OUT}/hash.${O} from ${MID}/hash.lisp - @ ( cd ${MID} ; \ - if [ -z "${NOISE}" ] ; then \ - echo '(progn (compile-file "${MID}/hash.lisp"' \ - ':output-file "${OUT}/hash.${O}") (${BYE}))' | ${DEPSYS} ; \ - else \ - echo '(progn (compile-file "${MID}/hash.lisp"' \ - ':output-file "${OUT}/hash.${O}") (${BYE}))' | ${DEPSYS} \ - >${TMP}/trace ; \ - fi ) - -@ -<>= -${MID}/hash.lisp: ${IN}/hash.lisp.pamphlet - @ echo 61 making ${MID}/hash.lisp from ${IN}/hash.lisp.pamphlet - @ (cd ${MID} ; \ - ${TANGLE} ${IN}/hash.lisp.pamphlet >hash.lisp ) - -@ -<>= -${DOC}/hash.lisp.dvi: ${IN}/hash.lisp.pamphlet - @echo 62 making ${DOC}/hash.lisp.dvi from ${IN}/hash.lisp.pamphlet - @(cd ${DOC} ; \ - cp ${IN}/hash.lisp.pamphlet ${DOC} ; \ - ${DOCUMENT} ${NOISE} hash.lisp ; \ - rm -f ${DOC}/hash.lisp.pamphlet ; \ - rm -f ${DOC}/hash.lisp.tex ; \ - rm -f ${DOC}/hash.lisp ) - -@ - \subsection{hypertex.boot} <>= ${OUT}/hypertex.${O}: ${MID}/hypertex.clisp @@ -7371,10 +7309,6 @@ clean: <> <> -<> -<> -<> - <> <> <> @@ -7530,10 +7464,6 @@ clean: <> <> -<> -<> -<> - <> <> <> @@ -7997,7 +7927,6 @@ pp \begin{thebibliography}{99} \bibitem{1} {\bf \$SPAD/Makefile.pamphlet} \bibitem{2} {\bf \$SPAD/src/boot/Makefile.pamphlet} -\bibitem{3} {\bf \$SPAD/src/interp/bootfuns.lisp.pamphlet} \bibitem{4} {\bf \$SPAD/src/interp/setq.lisp.pamphlet} \bibitem{5} {\bf \$SPAD/src/interp/patches.lisp.pamphlet} \bibitem{6} {\bf www.aldor.org} @@ -8009,7 +7938,6 @@ pp \bibitem{14} {\bf \$SPAD/src/interp/debug.lisp.pamphlet} \bibitem{16} {\bf \$SPAD/src/interp/fortcall.boot.pamphlet} \bibitem{17} {\bf \$SPAD/src/interp/fname.lisp.pamphlet} -\bibitem{20} {\bf \$SPAD/src/interp/hash.lisp.pamphlet} \bibitem{21} {\bf \$SPAD/src/interp/macros.lisp.pamphlet} \bibitem{24} {\bf \$SPAD/src/interp/monitor.lisp.pamphlet} \bibitem{25} {\bf \$SPAD/src/interp/newaux.lisp.pamphlet} diff --git a/src/interp/bootfuns.lisp.pamphlet b/src/interp/bootfuns.lisp.pamphlet deleted file mode 100644 index 5619b6e..0000000 --- a/src/interp/bootfuns.lisp.pamphlet +++ /dev/null @@ -1,459 +0,0 @@ -\documentclass{article} -\usepackage{axiom} -\begin{document} -\title{\$SPAD/src/interp bootfuns.lisp} -\author{Timothy Daly} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject -\section{Constants} -\subsection{\$EmptyMode} -[[$EmptyMode]] is a contant whose value is [[$EmptyMode]]. -It is used by [[isPartialMode]] (in [[i-funsel.boot]]) to -decide if a modemap is partially constructed. If the [[$EmptyMode]] -constant occurs anywhere in the modemap structure at any depth -then the modemap is still incomplete. To find this constant the -[[isPartialMode]] function calls [[CONTAINED |$EmptyMode| Y]] -which will walk the structure $Y$ looking for this constant. -<>= -(def-boot-val |$EmptyMode| '|$EmptyMode| "compiler constant") -@ - -\section{License} -<>= -;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. -;; All rights reserved. -;; -;; Redistribution and use in source and binary forms, with or without -;; modification, are permitted provided that the following conditions are -;; met: -;; -;; - Redistributions of source code must retain the above copyright -;; notice, this list of conditions and the following disclaimer. -;; -;; - Redistributions in binary form must reproduce the above copyright -;; notice, this list of conditions and the following disclaimer in -;; the documentation and/or other materials provided with the -;; distribution. -;; -;; - Neither the name of The Numerical ALgorithms Group Ltd. nor the -;; names of its contributors may be used to endorse or promote products -;; derived from this software without specific prior written permission. -;; -;; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS -;; IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED -;; TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A -;; PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER -;; OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, -;; EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, -;; PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR -;; PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF -;; LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING -;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS -;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. - -@ -<<*>>= -<> - -; NAME: Boot Package -; PURPOSE: Provide forward references to Boot Code for functions to be at -; defined at the boot level, but which must be accessible -; not defined at lower levels. - -(in-package "BOOT") - -(defmacro def-boot-fun (f args where) - `(compiler-let nil - (defun ,f ,args ,where (print (list ',f . ,args))) - (export '(,f) "BOOT"))) - -(defmacro def-boot-var (p where) - `(compiler-let nil - (defparameter ,p nil ,where) - (export '(,p) "BOOT"))) - -(defmacro def-boot-val (p val where) - `(compiler-let nil - (defparameter ,p ,val ,where) - (export '(,p) "BOOT"))) - -(def-boot-fun |updateSourceFiles| (x) "temp def") -#-:CCL -(def-boot-val |$timerTicksPerSecond| INTERNAL-TIME-UNITS-PER-SECOND - "for TEMPUS-FUGIT and $TOTAL-ELAPSED-TIME") -(def-boot-val $boxString - (concatenate 'string (list (code-char #x1d) (code-char #xe2))) - "this string of 2 chars displays as a box") -(def-boot-val |$quadSymbol| $boxString "displays an APL quad") -(def-boot-val |$quadSym| '|$quadSym| "unbound symbol referenced in format.boot") -(def-boot-val $escapeString (string (code-char 27)) - "string for single escape character") -(def-boot-val $boldString (concatenate 'string $escapeString "[12m") - "switch into bold font") -(def-boot-val $normalString (concatenate 'string $escapeString "[0;10m") - "switch back into normal font") -(def-boot-val $reverseVideoString (concatenate 'string $escapeString "[7m") - "switch into reverse video") -(def-boot-val $underlineString (concatenate 'string $escapeString "[4m") - "switch into underline mode") -(def-boot-val $COMPILE t "checked in COMP-2 to skip compilation") -(def-boot-var |$abbreviationTable| "???") -(def-boot-val |$algebraList| - '(|QuotientField| |Polynomial| - |UnivariatePoly| - |MultivariatePolynomial| - |DistributedMultivariatePolynomial| - |HomogeneousDistributedMultivariatePolynomial| - |Gaussian| |SquareMatrix| - |RectangularMatrix|) "???") -(def-boot-val |$BasicDomains| - '(|Integer| |Float| |Symbol| - |Boolean| |String|) "???") -(def-boot-val |$BasicPredicates| - '(FIXP STRINGP FLOATP) "???") -(def-boot-val |$BFtag| '-BF- "big float marker") -(def-boot-val |$BigFloat| '(|Float|) "???") -(def-boot-val |$BigFloatOpt| '(|BigFloat| . OPT) "???") -(def-boot-val |$Boolean| '(|Boolean|) "???") -(def-boot-val |$BooleanOpt| '(|Boolean| . OPT) "???") -(def-boot-val |$bootStrapMode| () "if T compCapsule skips body") -(def-boot-fun |bootUnionPrint| (x s tt) "Interpreter>Coerce.boot") -(def-boot-fun |break| (msg) "Interpreter>Trace.boot") -(def-boot-fun |breaklet| (fn vars) "Interpreter>Trace.boot") -(def-boot-var |$brightenCommentsFlag| "???") -(def-boot-var |$brightenCommentsIfTrue| "???") -(def-boot-val |$BreakMode| '|query| "error.boot") -(def-boot-var |$cacheAlist| "Interpreter>System.boot") -(def-boot-val |$cacheCount| 0 "???") -(def-boot-val |$Category| '(|Category|) "???") -; modemap:== ( (p e) (p e) ... (p e) ) -; modemaplist:= ( modemap ... ) - -(def-boot-val |$CategoryFrame| - '((((|Category| . ((|modemap| (((|Category|) (|Category|)) (T *))))) - (|Join| . ((|modemap| - (((|Category|) (|Category|) (|Category|) (|Category|)) (T *)) - (((|Category|) (|Category|) (|List| |Category|)) (|Category|)) (T *)) - ))))) - "Compiler>CUtil.boot") -(def-boot-val |$CategoryNames| - '(|Category| |CATEGORY| |RecordCategory| |Join| - |StringCategory| |SubsetCategory| |UnionCategory|) - "???") -(def-boot-val |$clamList| - '((|getModemapsFromDatabase| |hash| UEQUAL |count|) - (|getOperationAlistFromLisplib| |hash| UEQUAL |count|) - (|getFileProperty| |hash| UEQUAL |count|) - (|canCoerceFrom| |hash| UEQUAL |count|) - (|selectMms1| |hash| UEQUAL |count|) - (|coerceMmSelection| |hash| UEQUAL |count|) - (|isValidType| |hash| UEQUAL |count|)) - "Interpreter>Clammed.boot") -(def-boot-val |$CommonDomains| - '(|Record| |Union| |List| |Vector| - |String| |Float| |Integer| - |NonNegativeInteger| |Expression| - |NonPositiveInteger| - |PositiveInteger| |SmallInteger| - |Boolean|) "???") - -(def-boot-var |$compCount| "???") -(def-boot-var |$compileMapFlag| "Interpreter>SetVars.boot") -(def-boot-var |$compUniquelyIfTrue| "Compiler>Compiler.boot") -(def-boot-val |$consistencyCheck| nil "Interpreter>Consis.boot") -(def-boot-val |$ConstructorCache| (MAKE-HASHTABLE 'ID) "???") -(def-boot-var |$constructorsNotInDatabase| "Interpreter>Database.boot") -(def-boot-var |$createUpdateFiles| "Interpreter>SetVarT.boot") -(def-boot-var |$croakIfTrue| "See moan in U.") -(def-boot-var |$currentFunction| "???") -(def-boot-val |$currentLine| "" "current input line for history") -(def-boot-val $delay 0 "???") -(def-boot-var $Directory "???") -(def-boot-var $DISPLAY "???") -(def-boot-val |$Domain| '(|Domain|) "???") -(def-boot-var |$DomainFrame| "???") -(def-boot-val |$DomainNames| - '(|Integer| |Float| |Symbol| |Boolean| - |String| |Expression| - |Mapping| |SubDomain| |List| |Union| - |Record| |Vector|) "???") -(def-boot-val |$DomainsInScope| '(NIL) "???") -(def-boot-val |$domainTraceNameAssoc| () "association list of trace domains") -(def-boot-val |$DomainVariableList| - '($1 $2 $3 $4 $5 $6 $7 $8 $9 $10 $11 - $12 $13 $14 $15) "???") -(def-boot-val |$DoubleQuote| "\"" "???") -(def-boot-val |$DummyFunctorNames| - '(|Boolean| |Mapping|) "???") -(def-boot-var |$eltIfNil| "SpecialFunctions>PSpad.boot") -(def-boot-val |$EmptyEnvironment| '((NIL)) "???") -(def-boot-val |$EmptyList| () "???") -<> -(def-boot-val |$EM| |$EmptyMode| "???") -(def-boot-val |$EmptyString| "" "???") -(def-boot-val |$EmptyVector| '#() "???") -(def-boot-val |$Expression| '(|Expression|) "???") -(def-boot-val |$ExpressionOpt| - '(|Expression| . OPT) "???") -(def-boot-var |$evalDomain| "???") -(def-boot-val |$Exit| '(Exit) "compiler constant") -(def-boot-var |$exitMode| "???") -(def-boot-var |$exitModeStack| "???") -(def-boot-val |$failure| (GENSYM) "Symbol denoting a failed operation.") -(def-boot-val |$false| NIL "???") -(def-boot-val |$Float| '(|Float|) "???") -(def-boot-val |$FloatOpt| '(|Float| . OPT) "???") -(def-boot-val |$FontTable| '(|FontTable|) "???") -(def-boot-var |$forceDatabaseUpdate| "See load function.") -(def-boot-var |$form| "???") -(def-boot-val |$FormalMapVariableList| - '(\#1 \#2 \#3 \#4 \#5 \#6 \#7 \#8 \#9 - \#10 \#11 \#12 \#13 \#14 \#15) "???") -(def-boot-val |$FormalMapVariableList2| - '(\#\#1 \#\#2 \#\#3 \#\#4 \#\#5 \#\#6 \#\#7 \#\#8 \#\#9 - \#\#10 \#\#11 \#\#12 \#\#13 \#\#14 \#\#15) "???") -(def-boot-var |$fromSpadTrace| "Interpreter>Trace.boot") -(def-boot-var $function "Interpreter>System.boot") -(def-boot-var $FunName "???") -(def-boot-var $FunName_Tail "???") -(def-boot-val |$ConstructorNames| - '(|SubDomain| |List| |Union| |Record| |Vector|) - "Used in isFunctor test, and compDefine.") -(def-boot-val |$gauss01| '(|gauss| 0 1) "???") -(def-boot-var |$genFVar| "???") -(def-boot-val |$genSDVar| 0 "counter for genSomeVariable" ) -(def-boot-val |$hasCategoryTable| (MAKE-HASHTABLE 'UEQUAL) "???") -(def-boot-var |$hasYield| "???") -(def-boot-var |$ignoreCommentsIfTrue| "???") -(def-boot-var |$Index| "???") -(def-boot-val |$InitialDomainsInScope| - '((|Boolean|) |$EmptyMode| |$NoValueMode|) - "???") -(def-boot-val |$InitialModemapFrame| '((NIL)) "???") -(def-boot-var |$inLispVM| "Interpreter>Eval.boot") -(def-boot-var |$insideCapsuleFunctionIfTrue| "???") -(def-boot-var |$insideCategoryIfTrue| "???") -(def-boot-var |$insideCoerceInteractiveHardIfTrue| "???") -(def-boot-val |$insideCompTypeOf| NIL "checked in comp3") -(def-boot-val |$insideConstructIfTrue| NIL "checked in parse.boot") -(def-boot-var |$insideExpressionIfTrue| "???") -(def-boot-var |$insideFunctorIfTrue| "???") -(def-boot-var |$insideWhereIfTrue| "???") -(def-boot-val |$instantRecord| (MAKE-HASHTABLE 'ID) "???") -(def-boot-val |$Integer| '(|Integer|) "???") -(def-boot-val |$IntegerOpt| '(|Integer| . OPT) "???") -(def-boot-val |$InteractiveFrame| '((NIL)) "top level environment") -(def-boot-var |$InteractiveMode| "Interactive>System.boot") -(def-boot-val |$InteractiveModemapFrame| '((NIL)) "???") -(def-boot-var |$InteractiveTimingStatsIfTrue| "???") -(def-boot-var |$LastCxArg| "???") -(def-boot-val $lastprefix "S-" "???") -(def-boot-val |$lastUntraced| NIL "Used for )restore option of )trace.") -(def-boot-var |$leaveLevelStack| "???") -(def-boot-var |$leaveMode| "???") -(def-boot-val |$leftPren| "(" "For use in SAY expressions.") -(def-boot-val |$letAssoc| NIL "Used for trace of assignments in SPAD code.") -(def-boot-var |$libFile| "Compiler>LispLib.boot") -(def-boot-var $LINENUMBER "???") -(def-boot-var $linestack "???") -(def-boot-val |$Lisp| '(|Lisp|) "???") -(def-boot-val $LISPLIB nil "whether to produce a lisplib or not") -(def-boot-var |$lisplibDependentCategories| "Compiler>LispLib.boot") -(def-boot-var |$lisplibDomainDependents| "Compiler>LispLib.boot") -(def-boot-var |$lisplibForm| "Compiler>LispLib.boot") -(def-boot-var |$lisplibKind| "Compiler>LispLib.boot") -(def-boot-var |$lisplibModemapAlist| "Compiler>LispLib.boot") -(def-boot-var |$lisplibModemap| "Compiler>LispLib.boot") -(def-boot-var |$lisplibOperationAlist| "Compiler>LispLib.boot") -(def-boot-var |$lisplibSignatureAlist| "Compiler>LispLib.boot") -(def-boot-var |$lisplibVariableAlist| "Compiler>LispLib.boot") -(def-boot-var |$lisp2lispRenameAssoc| "???") -(def-boot-val |$LocalFrame| '((NIL)) "???") -(def-boot-var |$mapSubNameAlist| "Interpreter>Trace.boot") -(def-boot-var |$mathTrace| "Interpreter>Trace.boot") -(def-boot-var |$mathTraceList| "Controls mathprint output for )trace.") -(def-boot-var $maxlinenumber "???") -(def-boot-val |$Mode| '(Mode) "compiler constant") -(def-boot-var |$ModemapFrame| "???") -(def-boot-val |$ModeVariableList| - '(&1 &2 &3 &4 &5 &6 &7 &8 &9 &10 &11 - &12 &13 &14 &15) "???") -(def-boot-var |$mostRecentOpAlist| "???") -(def-boot-var $NBOOT "???") -(def-boot-val |$NegativeIntegerOpt| '(|NegativeInteger| . OPT) "???") -(def-boot-val |$NegativeInteger| '(|NegativeInteger|) "???") -(def-boot-val |$NETail| (CONS |$EmptyEnvironment| NIL) "???") -(def-boot-var $NEWLINSTACK "???") -(def-boot-var |$noEnv| "???") -(def-boot-val |$NonMentionableDomainNames| '($ |Rep| |Mapping|) "???") -(def-boot-val |$NonNegativeIntegerOpt| '(|NonNegativeInteger| . OPT) "???") -(def-boot-val |$NonNegativeInteger| '(|NonNegativeInteger|) "???") -(def-boot-val |$NonPositiveIntegerOpt| '(|NonPositiveInteger| . OPT) "???") -(def-boot-val |$NonPositiveInteger| '(|NonPositiveInteger|) "???") -(def-boot-var |$noParseCommands| "???") -(def-boot-val |$NoValueMode| '|$NoValueMode| "compiler literal") -(def-boot-val |$NoValue| '|$NoValue| "compiler literal") -(def-boot-val $num_of_meta_errors 0 "Number of errors seen so far") -(def-boot-var $OLDLINE "Used to output command lines.") -(def-boot-val |$oldTime| 0 "???") -(def-boot-val |$One| '(|One|) "???") -(def-boot-val |$OneCoef| '(1 1 . 1) "???") -(def-boot-val |$operationNameList| NIL "op names for apropos") -(def-boot-var |$opFilter| "Used to /s a function") -(def-boot-var |OptionList| "???") -(def-boot-val |$optionAlist| nil "info for trace boot") -(def-boot-var |$OutsideStringIfTrue| "???") -(def-boot-val |$PatternVariableList| - '(*1 *2 *3 *4 *5 *6 *7 *8 *9 *10 *11 - *12 *13 *14 *15) "???") -(def-boot-var |$PolyMode| "???") -(def-boot-val |$Polvar| '(WRAPPED . ((1 . 1))) "???") -(def-boot-var |$polyDefaultAssoc| "???") -(def-boot-val |$PolyDomains| - '(|Polynomial| |MultivariatePolynomial| - |UnivariatePoly| - |DistributedMultivariatePolynomial| - |HomogeneousDistributedMultivariatePolynomial|) - "???") -(def-boot-val |$PositiveIntegerOpt| '(|PositiveInteger| . OPT) "???") -(def-boot-val |$PositiveInteger| '(|PositiveInteger|) "???") -(def-boot-var |$postStack| "???") -(def-boot-var |$prefix| "???") -(def-boot-val |$PrettyPrint| nil "if t generated code is prettyprinted") -(def-boot-var |$previousTime| "???") -(def-boot-val |$PrimitiveDomainNames| nil -"Used in mkCategory to avoid generating vector slot -for primitive domains. Also used by putInLocalDomainReferences and optCal.") -(def-boot-val |$optimizableDomainNames| - '(|FactoredForm| |List| |Vector| - |Integer| |NonNegativeInteger| |PositiveInteger| - |SmallInteger| |String| |Boolean| |Symbol| |BooleanFunctions|) - "used in optCall to decide which domains can be optimized") -(def-boot-val |$PrintBox| '(|PrintBox|) "???") -(def-boot-var |$PrintCompilerMessagesIfTrue| "???") -(def-boot-val |$printConStats| nil "display constructor cache totals") -(def-boot-val |$printLoadMsgs| 't "Interpreter>SetVarT.boot") -(def-boot-var |$PrintOnly| "Compiler>LispLib.boot") -(def-boot-val |$UserSynonyms| () "list of user defined synonyms") -(def-boot-val |$SystemSynonyms| () "list of system defined synonyms") -(def-boot-val |$QuickCode| NIL "Controls generation of QREFELT, etc.") -(def-boot-val |$QuickLet| NIL "Set to T for no LET tracing.") -(def-boot-var |$QuietIfNil| "???") -(def-boot-val |$RationalNumberOpt| '(|RationalNumber| . OPT) "???") -(def-boot-val |$RationalNumber| '(|RationalNumber|) "???") -(def-boot-var |$readingFile| "???") -(def-boot-val |$report3| nil "addMap report info") -(def-boot-var |$reportBottomUpFlag| "Interpreter>SetVarT.boot") -(def-boot-var |$reportCoerce| "???") -(def-boot-var |$reportCoerceIfTrue| "???") -(def-boot-var |$reportCompilation| "???") -(def-boot-var |$reportExitModeStack| "???") -(def-boot-var |$reportFlag| "Interpreter>SetVars.boot") -(def-boot-val |$reportSpadTrace| () "report list of traced functions") -(def-boot-var |$resolveFlag| "Interpreter>SetVars.boot") -(def-boot-var |$returnMode| "???") -(def-boot-val |$rightPren| ")" "???") -(def-boot-var |$scanModeFlag| "???") -(def-boot-var |$semanticErrorStack| "???") -(def-boot-val |$SetFunctions| nil "checked in SetFunctionSlots") -(def-boot-val |$SideEffectFreeFunctionList| - '(|null| |case| |Zero| |One| \: \:\: |has| |Mapping| - |elt| = \> \>= \< \<= MEMBER |is| |isnt| ATOM - $= $\> $\>= $\< $\<= $^= $MEMBER) "???") -(def-boot-var |$slamFlag| "Interpreter>SetVars.boot") -(def-boot-val |$SmallInteger| '(|SmallInteger|) "???") -(def-boot-val |$SmallIntegerOpt| '(|SmallInteger| . OPT) "???") -(def-boot-val |$sourceFileTypes| - '(SPAD BOOT LISP LISP370 META) - "Interpreter>System.boot") -(def-boot-val $SPAD nil "Is this Spad code?") -(def-boot-var $SPAD_ERRORS "???") -(def-boot-val |$spadLibFT| 'LISPLIB "???") -(def-boot-var |$spadOpList| "???") -(def-boot-var |$spadSystemDisks| "Interpreter>Database.boot") -(def-boot-val |$SpecialDomainNames| - '(|add| |CAPSULE| |SubDomain| |List| |Union| |Record| |Vector|) - "Used in isDomainForm, addEmptyCapsuleIfnecessary.") -(def-boot-var |$streamAlist| "???") -(def-boot-val |$streamCount| 0 "???") -(def-boot-var |$streamIndexing| "???") -(def-boot-val |$StreamIndex| 0 "???") -(def-boot-val |$StringCategory| '(|StringCategory|) "???") -(def-boot-val |$StringOpt| '(|String| . OPT) "???") -(def-boot-val |$String| '(|String|) "???") -(def-boot-var |$suffix| "???") -(def-boot-val |$Symbol| '(|Symbol|) "???") -(def-boot-val |$SymbolOpt| '(|Symbol| . OPT) "???") -(def-boot-val |$systemCreation| (currenttime) "???") -(def-boot-val |$systemLastChanged| - |$systemCreation| "???") -(def-boot-val |$tempCategoryTable| (MAKE-HASHTABLE 'UEQUAL) "???") -(def-boot-val |$ThrowAwayMode| '|$ThrowAwayMode| "interp constant") -(def-boot-val |$timerOn| t "???") -(def-boot-var |$topOp| "See displayPreCompilationErrors") -(def-boot-var |$tokenCommands| "???") -(def-boot-var $TOKSTACK "???") -(def-boot-val $TOP_LEVEL t "???") -(def-boot-var $top_stack "???") -(def-boot-var |$tracedModemap| "Interpreter>Trace.boot") -(def-boot-val |$traceDomains| t "enables domain tracing") -(def-boot-val |$TraceFlag| t "???") -(def-boot-var |$tracedSpadModemap| "Interpreter>Trace.boot") -(def-boot-var |$traceletFunctions| "???") -(def-boot-var |$traceNoisely| "Interpreter>Trace.boot") -(def-boot-var |$TranslateOnly| "???") -(def-boot-var |$tripleCache| "Compiler>Compiler.boot") -(def-boot-val |$true| ''T "???") -(def-boot-var $Type "???") -(def-boot-val |$underDomainAlist| - '((|DistributedMultivariatePolynomial| . 2) - (|FactoredForm| . 1) - (|FactoredRing| . 1) - (|Gaussian| . 1) - (|List| . 1) - (|Matrix| . 1) - (|MultivariatePolynomial| . 2) - (|HomogeneousDistributedMultivariatePolynomial| . 2) - (|Polynomial| . 1) - (|QuotientField| . 1) - (|RectangularMatrix| . 3) - (|SquareMatrix| . 2) - (|UnivariatePoly| . 2) - (|Vector| . 1) - (|VVectorSpace| . 2)) "???") - -(def-boot-val |$updateCatTableIfTrue| T "update category table on load") -(def-boot-var |$updateIfTrue| - "Should SPAD databases be updated&squeezed?") -(def-boot-val |$useBFasDefault| T - "Determines whether to use BF as default floating point type.") -(def-boot-val |$useDCQnotLET| () "checked in DEF-LET for use of DCQ") -(def-boot-fun BUMPCOMPERRORCOUNT () "errorSupervisor1") -(def-boot-var |$VariableCount| "???") -(def-boot-val |$Void| '(|Void|) "compiler constant") -(def-boot-var |$warningStack| "???") -(def-boot-val |$whereList| () "referenced in format boot formDecl2String") -(def-boot-var |$xCount| "???") -(def-boot-var |$xeditIsConsole| "???") -(def-boot-var |$xyCurrent| "???") -(def-boot-var |$xyInitial| "???") -(def-boot-var |$xyMax| "???") -(def-boot-var |$xyMin| "???") -(def-boot-var |$xyStack| "???") -(def-boot-val |$Zero| '(|Zero|) "???") - -(def-boot-val |$domainsWithUnderDomains| - (mapcar #'car |$underDomainAlist|) "???") -(def-boot-val |$inputPromptType| '|step| "checked in MKPROMPT") -(def-boot-val |$IOindex| 0 "step counter") - -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} diff --git a/src/interp/debugsys.lisp.pamphlet b/src/interp/debugsys.lisp.pamphlet index 8d1eb0f..2f36c55 100644 --- a/src/interp/debugsys.lisp.pamphlet +++ b/src/interp/debugsys.lisp.pamphlet @@ -85,7 +85,6 @@ loaded by hand we need to establish a value. (append (list (thesymb "/int/interp/vmlisp.lisp") - (thesymb "/int/interp/bootfuns.lisp") (thesymb "/int/interp/macros.lisp") (thesymb "/int/interp/unlisp.lisp") (thesymb "/int/interp/setq.lisp") diff --git a/src/interp/vmlisp.lisp.pamphlet b/src/interp/vmlisp.lisp.pamphlet index 70d05c0..34775d1 100644 --- a/src/interp/vmlisp.lisp.pamphlet +++ b/src/interp/vmlisp.lisp.pamphlet @@ -2147,6 +2147,7 @@ Camm issued a fix. This used to read: (define-function 'HASHID #'sxhash) + (in-package 'boot) #+(or :cmu :akcl :gcl) @@ -2226,6 +2227,407 @@ Camm issued a fix. This used to read: (defun |insertString| (s1 s2 i1) (replace s2 s1 :start1 i1 :end1 (1+ i1) :end2 (size s1))) +; NAME: Boot Package +; PURPOSE: Provide forward references to Boot Code for functions to be at +; defined at the boot level, but which must be accessible +; not defined at lower levels. + +(in-package "BOOT") + +(defmacro def-boot-fun (f args where) + `(compiler-let nil + (defun ,f ,args ,where (print (list ',f . ,args))) + (export '(,f) "BOOT"))) + +(defmacro def-boot-var (p where) + `(compiler-let nil + (defparameter ,p nil ,where) + (export '(,p) "BOOT"))) + +(defmacro def-boot-val (p val where) + `(compiler-let nil + (defparameter ,p ,val ,where) + (export '(,p) "BOOT"))) + +(def-boot-fun |updateSourceFiles| (x) "temp def") +#-:CCL +(def-boot-val |$timerTicksPerSecond| INTERNAL-TIME-UNITS-PER-SECOND + "for TEMPUS-FUGIT and $TOTAL-ELAPSED-TIME") +(def-boot-val $boxString + (concatenate 'string (list (code-char #x1d) (code-char #xe2))) + "this string of 2 chars displays as a box") +(def-boot-val |$quadSymbol| $boxString "displays an APL quad") +(def-boot-val |$quadSym| '|$quadSym| "unbound symbol referenced in format.boot") +(def-boot-val $escapeString (string (code-char 27)) + "string for single escape character") +(def-boot-val $boldString (concatenate 'string $escapeString "[12m") + "switch into bold font") +(def-boot-val $normalString (concatenate 'string $escapeString "[0;10m") + "switch back into normal font") +(def-boot-val $reverseVideoString (concatenate 'string $escapeString "[7m") + "switch into reverse video") +(def-boot-val $underlineString (concatenate 'string $escapeString "[4m") + "switch into underline mode") +(def-boot-val $COMPILE t "checked in COMP-2 to skip compilation") +(def-boot-var |$abbreviationTable| "???") +(def-boot-val |$algebraList| + '(|QuotientField| |Polynomial| + |UnivariatePoly| + |MultivariatePolynomial| + |DistributedMultivariatePolynomial| + |HomogeneousDistributedMultivariatePolynomial| + |Gaussian| |SquareMatrix| + |RectangularMatrix|) "???") +(def-boot-val |$BasicDomains| + '(|Integer| |Float| |Symbol| + |Boolean| |String|) "???") +(def-boot-val |$BasicPredicates| + '(FIXP STRINGP FLOATP) "???") +(def-boot-val |$BFtag| '-BF- "big float marker") +(def-boot-val |$BigFloat| '(|Float|) "???") +(def-boot-val |$BigFloatOpt| '(|BigFloat| . OPT) "???") +(def-boot-val |$Boolean| '(|Boolean|) "???") +(def-boot-val |$BooleanOpt| '(|Boolean| . OPT) "???") +(def-boot-val |$bootStrapMode| () "if T compCapsule skips body") +(def-boot-fun |bootUnionPrint| (x s tt) "Interpreter>Coerce.boot") +(def-boot-fun |break| (msg) "Interpreter>Trace.boot") +(def-boot-fun |breaklet| (fn vars) "Interpreter>Trace.boot") +(def-boot-var |$brightenCommentsFlag| "???") +(def-boot-var |$brightenCommentsIfTrue| "???") +(def-boot-val |$BreakMode| '|query| "error.boot") +(def-boot-var |$cacheAlist| "Interpreter>System.boot") +(def-boot-val |$cacheCount| 0 "???") +(def-boot-val |$Category| '(|Category|) "???") +; modemap:== ( (p e) (p e) ... (p e) ) +; modemaplist:= ( modemap ... ) + +(def-boot-val |$CategoryFrame| + '((((|Category| . ((|modemap| (((|Category|) (|Category|)) (T *))))) + (|Join| . ((|modemap| + (((|Category|) (|Category|) (|Category|) (|Category|)) (T *)) + (((|Category|) (|Category|) (|List| |Category|)) (|Category|)) (T *)) + ))))) + "Compiler>CUtil.boot") +(def-boot-val |$CategoryNames| + '(|Category| |CATEGORY| |RecordCategory| |Join| + |StringCategory| |SubsetCategory| |UnionCategory|) + "???") +(def-boot-val |$clamList| + '((|getModemapsFromDatabase| |hash| UEQUAL |count|) + (|getOperationAlistFromLisplib| |hash| UEQUAL |count|) + (|getFileProperty| |hash| UEQUAL |count|) + (|canCoerceFrom| |hash| UEQUAL |count|) + (|selectMms1| |hash| UEQUAL |count|) + (|coerceMmSelection| |hash| UEQUAL |count|) + (|isValidType| |hash| UEQUAL |count|)) + "Interpreter>Clammed.boot") +(def-boot-val |$CommonDomains| + '(|Record| |Union| |List| |Vector| + |String| |Float| |Integer| + |NonNegativeInteger| |Expression| + |NonPositiveInteger| + |PositiveInteger| |SmallInteger| + |Boolean|) "???") + +(def-boot-var |$compCount| "???") +(def-boot-var |$compileMapFlag| "Interpreter>SetVars.boot") +(def-boot-var |$compUniquelyIfTrue| "Compiler>Compiler.boot") +(def-boot-val |$consistencyCheck| nil "Interpreter>Consis.boot") +(def-boot-val |$ConstructorCache| (MAKE-HASHTABLE 'ID) "???") +(def-boot-var |$constructorsNotInDatabase| "Interpreter>Database.boot") +(def-boot-var |$createUpdateFiles| "Interpreter>SetVarT.boot") +(def-boot-var |$croakIfTrue| "See moan in U.") +(def-boot-var |$currentFunction| "???") +(def-boot-val |$currentLine| "" "current input line for history") +(def-boot-val $delay 0 "???") +(def-boot-var $Directory "???") +(def-boot-var $DISPLAY "???") +(def-boot-val |$Domain| '(|Domain|) "???") +(def-boot-var |$DomainFrame| "???") +(def-boot-val |$DomainNames| + '(|Integer| |Float| |Symbol| |Boolean| + |String| |Expression| + |Mapping| |SubDomain| |List| |Union| + |Record| |Vector|) "???") +(def-boot-val |$DomainsInScope| '(NIL) "???") +(def-boot-val |$domainTraceNameAssoc| () "association list of trace domains") +(def-boot-val |$DomainVariableList| + '($1 $2 $3 $4 $5 $6 $7 $8 $9 $10 $11 + $12 $13 $14 $15) "???") +(def-boot-val |$DoubleQuote| "\"" "???") +(def-boot-val |$DummyFunctorNames| + '(|Boolean| |Mapping|) "???") +(def-boot-var |$eltIfNil| "SpecialFunctions>PSpad.boot") +(def-boot-val |$EmptyEnvironment| '((NIL)) "???") +(def-boot-val |$EmptyList| () "???") +@ +\verb|$EmptyMode| is a contant whose value is \verb|$EmptyMode|. +It is used by isPartialMode (in i-funsel.boot) to +decide if a modemap is partially constructed. If the \verb|$EmptyMode| +constant occurs anywhere in the modemap structure at any depth +then the modemap is still incomplete. To find this constant the +isPartialMode function calls CONTAINED \verb|$EmptyMode| Y +which will walk the structure $Y$ looking for this constant. +<<*>>= +(def-boot-val |$EmptyMode| '|$EmptyMode| "compiler constant") +(def-boot-val |$EM| |$EmptyMode| "???") +(def-boot-val |$EmptyString| "" "???") +(def-boot-val |$EmptyVector| '#() "???") +(def-boot-val |$Expression| '(|Expression|) "???") +(def-boot-val |$ExpressionOpt| + '(|Expression| . OPT) "???") +(def-boot-var |$evalDomain| "???") +(def-boot-val |$Exit| '(Exit) "compiler constant") +(def-boot-var |$exitMode| "???") +(def-boot-var |$exitModeStack| "???") +(def-boot-val |$failure| (GENSYM) "Symbol denoting a failed operation.") +(def-boot-val |$false| NIL "???") +(def-boot-val |$Float| '(|Float|) "???") +(def-boot-val |$FloatOpt| '(|Float| . OPT) "???") +(def-boot-val |$FontTable| '(|FontTable|) "???") +(def-boot-var |$forceDatabaseUpdate| "See load function.") +(def-boot-var |$form| "???") +(def-boot-val |$FormalMapVariableList| + '(\#1 \#2 \#3 \#4 \#5 \#6 \#7 \#8 \#9 + \#10 \#11 \#12 \#13 \#14 \#15) "???") +(def-boot-val |$FormalMapVariableList2| + '(\#\#1 \#\#2 \#\#3 \#\#4 \#\#5 \#\#6 \#\#7 \#\#8 \#\#9 + \#\#10 \#\#11 \#\#12 \#\#13 \#\#14 \#\#15) "???") +(def-boot-var |$fromSpadTrace| "Interpreter>Trace.boot") +(def-boot-var $function "Interpreter>System.boot") +(def-boot-var $FunName "???") +(def-boot-var $FunName_Tail "???") +(def-boot-val |$ConstructorNames| + '(|SubDomain| |List| |Union| |Record| |Vector|) + "Used in isFunctor test, and compDefine.") +(def-boot-val |$gauss01| '(|gauss| 0 1) "???") +(def-boot-var |$genFVar| "???") +(def-boot-val |$genSDVar| 0 "counter for genSomeVariable" ) +(def-boot-val |$hasCategoryTable| (MAKE-HASHTABLE 'UEQUAL) "???") +(def-boot-var |$hasYield| "???") +(def-boot-var |$ignoreCommentsIfTrue| "???") +(def-boot-var |$Index| "???") +(def-boot-val |$InitialDomainsInScope| + '((|Boolean|) |$EmptyMode| |$NoValueMode|) + "???") +(def-boot-val |$InitialModemapFrame| '((NIL)) "???") +(def-boot-var |$inLispVM| "Interpreter>Eval.boot") +(def-boot-var |$insideCapsuleFunctionIfTrue| "???") +(def-boot-var |$insideCategoryIfTrue| "???") +(def-boot-var |$insideCoerceInteractiveHardIfTrue| "???") +(def-boot-val |$insideCompTypeOf| NIL "checked in comp3") +(def-boot-val |$insideConstructIfTrue| NIL "checked in parse.boot") +(def-boot-var |$insideExpressionIfTrue| "???") +(def-boot-var |$insideFunctorIfTrue| "???") +(def-boot-var |$insideWhereIfTrue| "???") +(def-boot-val |$instantRecord| (MAKE-HASHTABLE 'ID) "???") +(def-boot-val |$Integer| '(|Integer|) "???") +(def-boot-val |$IntegerOpt| '(|Integer| . OPT) "???") +(def-boot-val |$InteractiveFrame| '((NIL)) "top level environment") +(def-boot-var |$InteractiveMode| "Interactive>System.boot") +(def-boot-val |$InteractiveModemapFrame| '((NIL)) "???") +(def-boot-var |$InteractiveTimingStatsIfTrue| "???") +(def-boot-var |$LastCxArg| "???") +(def-boot-val $lastprefix "S-" "???") +(def-boot-val |$lastUntraced| NIL "Used for )restore option of )trace.") +(def-boot-var |$leaveLevelStack| "???") +(def-boot-var |$leaveMode| "???") +(def-boot-val |$leftPren| "(" "For use in SAY expressions.") +(def-boot-val |$letAssoc| NIL "Used for trace of assignments in SPAD code.") +(def-boot-var |$libFile| "Compiler>LispLib.boot") +(def-boot-var $LINENUMBER "???") +(def-boot-var $linestack "???") +(def-boot-val |$Lisp| '(|Lisp|) "???") +(def-boot-val $LISPLIB nil "whether to produce a lisplib or not") +(def-boot-var |$lisplibDependentCategories| "Compiler>LispLib.boot") +(def-boot-var |$lisplibDomainDependents| "Compiler>LispLib.boot") +(def-boot-var |$lisplibForm| "Compiler>LispLib.boot") +(def-boot-var |$lisplibKind| "Compiler>LispLib.boot") +(def-boot-var |$lisplibModemapAlist| "Compiler>LispLib.boot") +(def-boot-var |$lisplibModemap| "Compiler>LispLib.boot") +(def-boot-var |$lisplibOperationAlist| "Compiler>LispLib.boot") +(def-boot-var |$lisplibSignatureAlist| "Compiler>LispLib.boot") +(def-boot-var |$lisplibVariableAlist| "Compiler>LispLib.boot") +(def-boot-var |$lisp2lispRenameAssoc| "???") +(def-boot-val |$LocalFrame| '((NIL)) "???") +(def-boot-var |$mapSubNameAlist| "Interpreter>Trace.boot") +(def-boot-var |$mathTrace| "Interpreter>Trace.boot") +(def-boot-var |$mathTraceList| "Controls mathprint output for )trace.") +(def-boot-var $maxlinenumber "???") +(def-boot-val |$Mode| '(Mode) "compiler constant") +(def-boot-var |$ModemapFrame| "???") +(def-boot-val |$ModeVariableList| + '(&1 &2 &3 &4 &5 &6 &7 &8 &9 &10 &11 + &12 &13 &14 &15) "???") +(def-boot-var |$mostRecentOpAlist| "???") +(def-boot-var $NBOOT "???") +(def-boot-val |$NegativeIntegerOpt| '(|NegativeInteger| . OPT) "???") +(def-boot-val |$NegativeInteger| '(|NegativeInteger|) "???") +(def-boot-val |$NETail| (CONS |$EmptyEnvironment| NIL) "???") +(def-boot-var $NEWLINSTACK "???") +(def-boot-var |$noEnv| "???") +(def-boot-val |$NonMentionableDomainNames| '($ |Rep| |Mapping|) "???") +(def-boot-val |$NonNegativeIntegerOpt| '(|NonNegativeInteger| . OPT) "???") +(def-boot-val |$NonNegativeInteger| '(|NonNegativeInteger|) "???") +(def-boot-val |$NonPositiveIntegerOpt| '(|NonPositiveInteger| . OPT) "???") +(def-boot-val |$NonPositiveInteger| '(|NonPositiveInteger|) "???") +(def-boot-var |$noParseCommands| "???") +(def-boot-val |$NoValueMode| '|$NoValueMode| "compiler literal") +(def-boot-val |$NoValue| '|$NoValue| "compiler literal") +(def-boot-val $num_of_meta_errors 0 "Number of errors seen so far") +(def-boot-var $OLDLINE "Used to output command lines.") +(def-boot-val |$oldTime| 0 "???") +(def-boot-val |$One| '(|One|) "???") +(def-boot-val |$OneCoef| '(1 1 . 1) "???") +(def-boot-val |$operationNameList| NIL "op names for apropos") +(def-boot-var |$opFilter| "Used to /s a function") +(def-boot-var |OptionList| "???") +(def-boot-val |$optionAlist| nil "info for trace boot") +(def-boot-var |$OutsideStringIfTrue| "???") +(def-boot-val |$PatternVariableList| + '(*1 *2 *3 *4 *5 *6 *7 *8 *9 *10 *11 + *12 *13 *14 *15) "???") +(def-boot-var |$PolyMode| "???") +(def-boot-val |$Polvar| '(WRAPPED . ((1 . 1))) "???") +(def-boot-var |$polyDefaultAssoc| "???") +(def-boot-val |$PolyDomains| + '(|Polynomial| |MultivariatePolynomial| + |UnivariatePoly| + |DistributedMultivariatePolynomial| + |HomogeneousDistributedMultivariatePolynomial|) + "???") +(def-boot-val |$PositiveIntegerOpt| '(|PositiveInteger| . OPT) "???") +(def-boot-val |$PositiveInteger| '(|PositiveInteger|) "???") +(def-boot-var |$postStack| "???") +(def-boot-var |$prefix| "???") +(def-boot-val |$PrettyPrint| nil "if t generated code is prettyprinted") +(def-boot-var |$previousTime| "???") +(def-boot-val |$PrimitiveDomainNames| nil +"Used in mkCategory to avoid generating vector slot +for primitive domains. Also used by putInLocalDomainReferences and optCal.") +(def-boot-val |$optimizableDomainNames| + '(|FactoredForm| |List| |Vector| + |Integer| |NonNegativeInteger| |PositiveInteger| + |SmallInteger| |String| |Boolean| |Symbol| |BooleanFunctions|) + "used in optCall to decide which domains can be optimized") +(def-boot-val |$PrintBox| '(|PrintBox|) "???") +(def-boot-var |$PrintCompilerMessagesIfTrue| "???") +(def-boot-val |$printConStats| nil "display constructor cache totals") +(def-boot-val |$printLoadMsgs| 't "Interpreter>SetVarT.boot") +(def-boot-var |$PrintOnly| "Compiler>LispLib.boot") +(def-boot-val |$UserSynonyms| () "list of user defined synonyms") +(def-boot-val |$SystemSynonyms| () "list of system defined synonyms") +(def-boot-val |$QuickCode| NIL "Controls generation of QREFELT, etc.") +(def-boot-val |$QuickLet| NIL "Set to T for no LET tracing.") +(def-boot-var |$QuietIfNil| "???") +(def-boot-val |$RationalNumberOpt| '(|RationalNumber| . OPT) "???") +(def-boot-val |$RationalNumber| '(|RationalNumber|) "???") +(def-boot-var |$readingFile| "???") +(def-boot-val |$report3| nil "addMap report info") +(def-boot-var |$reportBottomUpFlag| "Interpreter>SetVarT.boot") +(def-boot-var |$reportCoerce| "???") +(def-boot-var |$reportCoerceIfTrue| "???") +(def-boot-var |$reportCompilation| "???") +(def-boot-var |$reportExitModeStack| "???") +(def-boot-var |$reportFlag| "Interpreter>SetVars.boot") +(def-boot-val |$reportSpadTrace| () "report list of traced functions") +(def-boot-var |$resolveFlag| "Interpreter>SetVars.boot") +(def-boot-var |$returnMode| "???") +(def-boot-val |$rightPren| ")" "???") +(def-boot-var |$scanModeFlag| "???") +(def-boot-var |$semanticErrorStack| "???") +(def-boot-val |$SetFunctions| nil "checked in SetFunctionSlots") +(def-boot-val |$SideEffectFreeFunctionList| + '(|null| |case| |Zero| |One| \: \:\: |has| |Mapping| + |elt| = \> \>= \< \<= MEMBER |is| |isnt| ATOM + $= $\> $\>= $\< $\<= $^= $MEMBER) "???") +(def-boot-var |$slamFlag| "Interpreter>SetVars.boot") +(def-boot-val |$SmallInteger| '(|SmallInteger|) "???") +(def-boot-val |$SmallIntegerOpt| '(|SmallInteger| . OPT) "???") +(def-boot-val |$sourceFileTypes| + '(SPAD BOOT LISP LISP370 META) + "Interpreter>System.boot") +(def-boot-val $SPAD nil "Is this Spad code?") +(def-boot-var $SPAD_ERRORS "???") +(def-boot-val |$spadLibFT| 'LISPLIB "???") +(def-boot-var |$spadOpList| "???") +(def-boot-var |$spadSystemDisks| "Interpreter>Database.boot") +(def-boot-val |$SpecialDomainNames| + '(|add| |CAPSULE| |SubDomain| |List| |Union| |Record| |Vector|) + "Used in isDomainForm, addEmptyCapsuleIfnecessary.") +(def-boot-var |$streamAlist| "???") +(def-boot-val |$streamCount| 0 "???") +(def-boot-var |$streamIndexing| "???") +(def-boot-val |$StreamIndex| 0 "???") +(def-boot-val |$StringCategory| '(|StringCategory|) "???") +(def-boot-val |$StringOpt| '(|String| . OPT) "???") +(def-boot-val |$String| '(|String|) "???") +(def-boot-var |$suffix| "???") +(def-boot-val |$Symbol| '(|Symbol|) "???") +(def-boot-val |$SymbolOpt| '(|Symbol| . OPT) "???") +(def-boot-val |$systemCreation| (currenttime) "???") +(def-boot-val |$systemLastChanged| + |$systemCreation| "???") +(def-boot-val |$tempCategoryTable| (MAKE-HASHTABLE 'UEQUAL) "???") +(def-boot-val |$ThrowAwayMode| '|$ThrowAwayMode| "interp constant") +(def-boot-val |$timerOn| t "???") +(def-boot-var |$topOp| "See displayPreCompilationErrors") +(def-boot-var |$tokenCommands| "???") +(def-boot-var $TOKSTACK "???") +(def-boot-val $TOP_LEVEL t "???") +(def-boot-var $top_stack "???") +(def-boot-var |$tracedModemap| "Interpreter>Trace.boot") +(def-boot-val |$traceDomains| t "enables domain tracing") +(def-boot-val |$TraceFlag| t "???") +(def-boot-var |$tracedSpadModemap| "Interpreter>Trace.boot") +(def-boot-var |$traceletFunctions| "???") +(def-boot-var |$traceNoisely| "Interpreter>Trace.boot") +(def-boot-var |$TranslateOnly| "???") +(def-boot-var |$tripleCache| "Compiler>Compiler.boot") +(def-boot-val |$true| ''T "???") +(def-boot-var $Type "???") +(def-boot-val |$underDomainAlist| + '((|DistributedMultivariatePolynomial| . 2) + (|FactoredForm| . 1) + (|FactoredRing| . 1) + (|Gaussian| . 1) + (|List| . 1) + (|Matrix| . 1) + (|MultivariatePolynomial| . 2) + (|HomogeneousDistributedMultivariatePolynomial| . 2) + (|Polynomial| . 1) + (|QuotientField| . 1) + (|RectangularMatrix| . 3) + (|SquareMatrix| . 2) + (|UnivariatePoly| . 2) + (|Vector| . 1) + (|VVectorSpace| . 2)) "???") + +(def-boot-val |$updateCatTableIfTrue| T "update category table on load") +(def-boot-var |$updateIfTrue| + "Should SPAD databases be updated&squeezed?") +(def-boot-val |$useBFasDefault| T + "Determines whether to use BF as default floating point type.") +(def-boot-val |$useDCQnotLET| () "checked in DEF-LET for use of DCQ") +(def-boot-fun BUMPCOMPERRORCOUNT () "errorSupervisor1") +(def-boot-var |$VariableCount| "???") +(def-boot-val |$Void| '(|Void|) "compiler constant") +(def-boot-var |$warningStack| "???") +(def-boot-val |$whereList| () "referenced in format boot formDecl2String") +(def-boot-var |$xCount| "???") +(def-boot-var |$xeditIsConsole| "???") +(def-boot-var |$xyCurrent| "???") +(def-boot-var |$xyInitial| "???") +(def-boot-var |$xyMax| "???") +(def-boot-var |$xyMin| "???") +(def-boot-var |$xyStack| "???") +(def-boot-val |$Zero| '(|Zero|) "???") + +(def-boot-val |$domainsWithUnderDomains| + (mapcar #'car |$underDomainAlist|) "???") +(def-boot-val |$inputPromptType| '|step| "checked in MKPROMPT") +(def-boot-val |$IOindex| 0 "step counter") + @ \eject \begin{thebibliography}{99}