diff --git a/changelog b/changelog index 41a1e91..6925309 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,8 @@ +20090809 tpd src/axiom-website/patches.html 20090809.01.tpd.patch +20090809 tpd src/interp/Makefile remove setq.lisp +20090809 tpd src/interp/debugsys.lisp remove setq reference +20090809 tpd src/interp/vmlisp.lisp merge setq.lisp +20090809 tpd src/interp/setq.lisp removed, merged with vmlisp.lisp 20090808 tpd src/axiom-website/patches.html 20090808.03.tpd.patch 20090808 tpd src/interp/Makefile remove bits.lisp 20090808 tpd src/interp/debugsys.lisp remove bits reference diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 0bcb210..a17d145 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1760,6 +1760,8 @@ vmlisp.lisp and debug.lisp merged
vmlisp.lisp and spad.lisp merged
20090808.03.tpd.patch vmlisp.lisp and bits.lisp merged
+20090809.01.tpd.patch +vmlisp.lisp and setq.lisp merged
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet index 4cb0d64..bf81cec 100644 --- a/src/interp/Makefile.pamphlet +++ b/src/interp/Makefile.pamphlet @@ -128,7 +128,7 @@ expanded in later compiles. All macros are assumed to be in this list of files. <>= DEP= ${MID}/vmlisp.lisp \ - ${MID}/setq.lisp ${MID}/property.lisp \ + ${MID}/property.lisp \ ${MID}/unlisp.lisp ${MID}/foam_l.lisp \ ${MID}/axext_l.lisp @@ -173,7 +173,7 @@ The file http.lisp contains code to enable browser-based hyperdoc and graphics. <>= OBJS= ${OUT}/vmlisp.${O} \ - ${OUT}/unlisp.${O} ${OUT}/setq.${LISP} \ + ${OUT}/unlisp.${O} \ ${OUT}/astr.${O} \ ${OUT}/alql.${O} ${OUT}/buildom.${O} \ ${OUT}/cattable.${O} \ @@ -484,7 +484,6 @@ DOCFILES=${DOC}/alql.boot.dvi \ ${DOC}/record.boot.dvi ${DOC}/regress.lisp.dvi \ ${DOC}/rulesets.boot.dvi ${DOC}/scan.boot.dvi \ ${DOC}/serror.boot.dvi ${DOC}/server.boot.dvi \ - ${DOC}/setq.lisp.dvi \ ${DOC}/sfsfun.boot.dvi \ ${DOC}/sfsfun-l.lisp.dvi \ ${DOC}/simpbool.boot.dvi \ @@ -1503,32 +1502,6 @@ ${DOC}/property.lisp.dvi: ${IN}/property.lisp.pamphlet @ -\subsection{setq.lisp \cite{4}} -<>= -${OUT}/setq.${LISP}: ${MID}/setq.lisp - @ echo 114 making ${OUT}/setq.${LISP} from ${MID}/setq.lisp - @ cp ${MID}/setq.lisp ${OUT}/setq.${LISP} - -@ -<>= -${MID}/setq.lisp: ${IN}/setq.lisp.pamphlet - @ echo 115 making ${MID}/setq.lisp from ${IN}/setq.lisp.pamphlet - @ ( cd ${MID} ; \ - ${TANGLE} ${IN}/setq.lisp.pamphlet >setq.lisp ) - -@ -<>= -${DOC}/setq.lisp.dvi: ${IN}/setq.lisp.pamphlet - @echo 116 making ${DOC}/setq.lisp.dvi from ${IN}/setq.lisp.pamphlet - @(cd ${DOC} ; \ - cp ${IN}/setq.lisp.pamphlet ${DOC} ; \ - ${DOCUMENT} ${NOISE} setq.lisp ; \ - rm -f ${DOC}/setq.lisp.pamphlet ; \ - rm -f ${DOC}/setq.lisp.tex ; \ - rm -f ${DOC}/setq.lisp ) - -@ - \subsection{sockio.lisp \cite{33}} <>= ${OUT}/sockio.${O}: ${MID}/sockio.lisp @@ -7536,10 +7509,6 @@ clean: <> <> -<> -<> -<> - <> <> <> @@ -7613,7 +7582,6 @@ pp \begin{thebibliography}{99} \bibitem{1} {\bf \$SPAD/Makefile.pamphlet} \bibitem{2} {\bf \$SPAD/src/boot/Makefile.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} \bibitem{10} {\bf \$SPAD/src/interp/cfuns.lisp.pamphlet} diff --git a/src/interp/debugsys.lisp.pamphlet b/src/interp/debugsys.lisp.pamphlet index 1dee087..19b4f04 100644 --- a/src/interp/debugsys.lisp.pamphlet +++ b/src/interp/debugsys.lisp.pamphlet @@ -86,7 +86,6 @@ loaded by hand we need to establish a value. (list (thesymb "/int/interp/vmlisp.lisp") (thesymb "/int/interp/unlisp.lisp") - (thesymb "/int/interp/setq.lisp") (thesymb "/int/interp/astr.clisp") (thesymb "/int/interp/alql.clisp") (thesymb "/int/interp/buildom.clisp") diff --git a/src/interp/setq.lisp.pamphlet b/src/interp/setq.lisp.pamphlet deleted file mode 100644 index 11cb965..0000000 --- a/src/interp/setq.lisp.pamphlet +++ /dev/null @@ -1,582 +0,0 @@ -\documentclass{article} -\usepackage{axiom} -\begin{document} -\title{\$SPAD/src/interp setq.lisp} -\author{Timothy Daly} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject -\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. - -@ -<<*>>= -<> - -(in-package "BOOT") - -(SETQ |/MAJOR-VERSION| 7) -(SETQ /VERSION 0) -(SETQ /RELEASE 0) - -(defconstant |$cclSystem| -#+:CCL 't -#-:CCL nil -) - -;; These two variables are referred to in setvars.boot. -#+:kcl (setq input-libraries nil) -#+:kcl (setq output-library nil) - -;; For the browser, used for building local databases when a user compiles -;; their own code. -(SETQ |$newConstructorList| nil) -(SETQ |$newConlist| nil) -(SETQ |$createLocalLibDb| 't) - -;; These are duplicates of definitions in bookvol9 - -(defvar |$byConstructors| () "list of constructors to be compiled") -(defvar |$constructorsSeen| () "list of constructors found") - -;; These were originally in SPAD LISP - -(SETQ $BOOT NIL) -(SETQ $NBOOT NIL) -(setq |$interpOnly| nil) -(SETQ |$testingSystem| NIL) -(SETQ |$publicSystem| NIL) -(SETQ |$newcompMode| NIL) -(SETQ |$newComp| NIL) -(SETQ |$newCompCompare| NIL) -(SETQ |$permitWhere| NIL) -(SETQ |$newSystem| T) -(SETQ |$noSubsumption| T) ;; was T in a running axiom, from xruncomp -(SETQ |$bootStrapMode| NIL) ;; if true skip functor bodies -(SETQ |$compileDontDefineFunctions| 'T) -(SETQ |$compileOnlyCertainItems| NIL) -(SETQ |$devaluateList| NIL) -(SETQ |$doNotCompressHashTableIfTrue| NIL) -(SETQ |$mutableChecking| NIL) ; used in DEFINE BOOT -(SETQ |$mutableDomains| NIL) ; checked in DEFINE BOOT -(SETQ |$maxSignatureLineNumber| 0) -(SETQ |$functionLocations| NIL) -(SETQ |$functorLocalParameters| NIL) ; used in compSymbol -(SETQ /RELEASE '"UNKNOWN") -(SETQ |$insideCategoryPackageIfTrue| NIL) -(SETQ |$insideCompileBodyIfTrue| NIL) -(SETQ |$globalExposureGroupAlist| NIL) -(SETQ |$localExposureDataDefault| - (VECTOR (LIST '|basic| '|categories| '|naglink| '|anna| ) NIL NIL)) -(SETQ |$localExposureData| - (VECTOR (LIST '|basic| '|categories| '|naglink| '|anna| ) NIL NIL)) -(SETQ |$compilingInputFile| NIL) -(SETQ |$minivectorNames| NIL) -(setq |$ReadingFile| NIL) -(setq |$NonNullStream| "NonNullStream") -(setq |$NullStream| "NullStream") -(setq |$domPvar| nil) -(setq |$Newline| #\Newline) - - -(setq |$createUpdateFiles| nil) - -(SETQ $FUNNAME NIL) ;; this and next used in COMP,TRAN,1 -(SETQ $FUNNAME_TAIL '(())) -(SETQ $LASTPREFIX "S:") ;"default setting" -(SETQ |$inLispVM| 'T) -(SETQ $SPAD_ERRORS (VECTOR 0 0 0)) -(SETQ STAKCOLUMN -1) -(SETQ ECHOMETA NIL) -(SETQ |$checkParseIfTrue| 'NIL) -(SETQ |$oldParserExpandAbbrs| NIL) -(SETQ $DISPLAY NIL) -(SETQ |S:SPADKEY| NIL) ;" this is augmented by MAKESPADOP" -(SETQ $OLDLINE NIL) ;"used to output command lines" -(SETQ |/EDIT,FT| 'SPAD) -(SETQ |/EDIT,FM| 'A) -(SETQ /EDITFILE NIL) -(SETQ INITCOLUMN 0) -(SETQ |$functionTable| NIL) -(SETQ |$spaddefs| NIL) -(SETQ |$xeditIsConsole| NIL) -(SETQ |$echoInputLines| NIL) ;; This is in SETVART also -(SETQ |$Slot1DataBase| (MAKE-HASHTABLE 'ID)) ;; See NRUNTIME BOOT -(SETQ |$pfKeysForBrowse| NIL) -(SETQ MARG 0) - ;" Margin for testing by ?OP" -(SETQ LCTRUE '|true|) -(SETQ |$displayParserOutput| 'T) - -(SETQ |$insideReadRulesIfTrue| NIL) -(SETQ |$consistencyCheck| 'T) -(SETQ |$useUndo| NIL) -(SETQ |$ruleSetsInitialized| NIL) - -;; tell the system not to use the new parser -(SETQ |$useNewParser| NIL) - -(SETQ |$htPrecedenceTable| NIL) - -(SETQ |$NRTmakeCompactDirect| NIL) -(SETQ |$NRTquick| NIL) -(SETQ |$NRTmakeShortDirect| NIL) -(SETQ |$newWorld| NIL) -(SETQ |$returnNowhereFromGoGet| NIL) - -(SETQ |$insideCanCoerceFrom| NIL) - -(SETQ |$useCoerceOrCroak| T) - -(SETQ |$abbreviateJoin| NIL) - -(SETQ |$InterpreterMacroAlist| - '((|%i| . (|complex| 0 1)) - (|%e| . (|exp| 1)) - (|%pi| . (|pi|)) - (|SF| . (|DoubleFloat|)) - (|%infinity| . (|infinity|)) - (|%plusInfinity| . (|plusInfinity|)) - (|%minusInfinity| . (|minusInfinity|)))) - -;; variables controlling companion pages (see copage.boot) -(SETQ |$HTCompanionWindowID| nil) -(SETQ |$HTPreviousDomain| nil) -(SETQ |$HTOperationError| nil) - -;; Common lisp control variables -;;(setq *load-verbose* nil) -(setq *print-array* nil) -(setq *print-pretty* nil) -(setq *print-circle* nil) - -(SETQ |S:SPADTOK| 'SPADSYSTOK) -(SETQ APLMODE NIL) -(SETQ RLGENSYMFG NIL) -(SETQ RLGENSYMLST NIL) -(SETQ XTOKENREADER 'SPADTOK) -(SETQ |$delimiterTokenList| - '(| | |)| |(| |{| |}| |[| |]| ENDOFLINECHR EOI EOL |END_LINE|)) -(SETQ |$generalTokenIfTrue| NIL) -(SETQ OPASSOC NIL) -(SETQ SPADSYSKEY '(EOI EOL)) - -(SETQ $cacheAlist NIL) -(SETQ $streamAlist NIL) - -;; These are for the output routines in OUT BOOT - -(SETQ $LINELENGTH 77) -(SETQ $MARGIN 3) -(SETQ *TALLPAR NIL) -(SETQ ALLSTAR NIL) -(SETQ BLANK " ") -(SETQ COLON ":") -(SETQ COMMA ",") -(SETQ DASH "-") -(SETQ DOLLAR "$") -(SETQ EQSIGN "=") -(SETQ LPAR "(") -(SETQ MATBORCH "*") -(SETQ PERIOD ".") -(SETQ PLUSS "+") -(SETQ RPAR ")") -(SETQ SLASH "/") -(SETQ STAR "*") -(SETQ |$fortranArrayStartingIndex| 0) - -;; These were originally in INIT LISP - -(SETQ |$systemCreation| - (STRCONC (SUBSTRING (CURRENTTIME) 0 8) " at " - (SUBSTRING (CURRENTTIME) 8 5))) -(SETQ |$systemLastChanged| |$systemCreation|) - -(SETQ $LISPLIB NIL) -(SETQ |$dependeeClosureAlist| NIL) -(SETQ |$userModemaps| NIL) -(SETQ |$forceDatabaseUpdate| NIL) ;; see "load" function -(SETQ |$spadSystemDisks| '(I J K L)) -(SETQ |$functorForm| NIL) - -(SETQ |$spadLibFT| 'LISPLIB) - -(SETQ |$existingFiles| (MAKE-HASHTABLE 'UEQUAL)) -(SETQ |$updateCatTableIfTrue| 'T) - -(SETQ |$ConstructorCache| (MAKE-HASHTABLE 'ID)) -(SETQ |$instantRecord| (MAKE-HASHTABLE 'ID)) -(SETQ |$immediateDataSymbol| '|--immediateData--|) - -(SETQ |$useIntegerSubdomain| 'T) -(SETQ |$useNewFloat| 'T) - -;; Directories/disks on which to place various kinds of files -(SETQ |$libraryDirectory| 'A) -(SETQ |$listingDirectory| 'A) - -;; See CLAMMED BOOT for defs of following functions -(SETQ |$clamList| '( - (|canCoerce| |hash| UEQUAL |count|) - (|canCoerceFrom| |hash| UEQUAL |count|) - (|coerceConvertMmSelection| |hash| UEQUAL |count|) -; (|getModemapsFromDatabase| |hash| UEQUAL |count|) -; (|getOperationAlistFromLisplib| |hash| UEQUAL |count|) - (|hasFileProperty| |hash| UEQUAL |count|) - (|isLegitimateMode| |hash| UEQUAL |count|) - (|isValidType| |hash| UEQUAL |count|) - (|resolveTT| |hash| UEQUAL |count|) - (|selectMms1| |hash| UEQUAL |count|) - (|underDomainOf| |hash| UEQUAL |count|) -; (|isSubDomain| |hash| UEQUAL |count|) -)) - -;; following is symbol denoting a failed operation -(SETQ |$failure| (GENSYM)) -;; the following symbol holds the canonical "failed" value -(SETQ |$failed| "failed") - -(SETQ |$constructorDataTable| NIL) - -(SETQ |$underDomainAlist| '()) -;;(SETQ |$underDomainAlist| '( -;; (|DistributedMultivariatePolynomial| . 2) -;; (|MultivariatePolynomial| . 2) -;; (|NewDistributedMultivariatePolynomial| . 2) -;; (|RectangularMatrix| . 3) -;; (|SquareMatrix| . 2) -;; (|UnivariatePoly| . 2) -;; (|VVectorSpace| . 2) -;;)) - -(SETQ |$univariateDomains| '( - |UnivariatePolynomial| - |UnivariateTaylorSeries| - |UnivariateLaurentSeries| - |UnivariatePuiseuxSeries| - )) -(SETQ |$multivariateDomains| '( - |MultivariatePolynomial| - |DistributedMultivariatePolynomial| - |HomogeneousDistributedMultivariatePolynomial| - |GeneralDistributedMultivariatePolynomial| - )) - -(SETQ |$Primitives| '(|Union| |Mapping| |Record| |Enumeration|)) - -(SETQ |$DomainsWithoutLisplibs| '( - CAPSULE |Union| |Record| |SubDomain| |Mapping| |Enumeration| |Domain| |Mode|)) - -(SETQ |$letAssoc| NIL) - ;" used for trace of assignments in SPAD code -- see macro LETT" -(SETQ |$useDCQnotLET| NIL) ;; use DCQs for destructuring := patterns -(SETQ |$QuickCode| T) - ;" controls generation of QREFELT etc." -(SETQ |$QuickLet| T) - ;" controls generation of LET tracing." -(SETQ |$lastUntraced| NIL) - ;" used for )restore option of )trace." -(SETQ |$mathTraceList| NIL) - ;" controls mathprint output for )trace." -(SETQ |$domainTraceNameAssoc| NIL) - ;"alist of traced domains" -(SETQ |$tracedMapSignatures| ()) -(SETQ |$highlightAllowed| 'T) - ;" used in BRIGHTPRINT and is a )set variable" - -(SETQ |$leftPren| "(") ;;[for use in SAY expressions] -(SETQ |$rightPren| ")") - -(SETQ |$abbreviationTable| NIL) - -(SETQ |$ConstructorNames| '( - |SubDomain| |List| |Union| |Record| |Vector| - )) - ;" Used in isFunctor test, and compDefine " - -(SETQ |$SpecialDomainNames| '( - |add| CAPSULE |SubDomain| |List| |Union| |Record| |Vector| - )) - ;" Used in isDomainForm, addEmptyCapsuleIfnecessary" - -(SETQ |$DomainNames| '( - |Integer| |Float| |Symbol| |Boolean| |String| |Expression| - |Mapping| |SubDomain| |List| |Union| |Record| |Vector| |Enumeration| - )) - -(SETQ |$CategoryNames| '( - |Category| |CATEGORY| |RecordCategory| |Join| |EnumerationCategory| - |StringCategory| |SubsetCategory| |UnionCategory| - )) - -(|SETQ| |$BasicDomains| '(|Integer| |Float| |Symbol| |Boolean| |String|)) - -(SETQ |$PrintCompilerMessagesIfTrue| NIL) -(SETQ |$printStorageIfTrue| NIL) ;; storage info disabled in common lisp -(SETQ |$mostRecentOpAlist| NIL) -(SETQ |$noEnv| NIL) -(SETQ |$croakIfTrue| NIL) ;" see moan in UT" -(SETQ |$opFilter| NIL) ;" used to |/s a function " -(SETQ |$evalDomain| NIL) - -(SETQ |$SideEffectFreeFunctionList| '( - |null| |case| |Zero| |One| \: |::| |has| |Mapping| - |elt| = |>| |>=| |<| |<=| MEMBER |is| |isnt| ATOM - $= |$>| |$>=| |$<| |$<=| $^= $MEMBER -)) - -(SETQ |$AnonymousFunction| '(|AnonymousFunction|)) -(SETQ |$Any| '(|Any|)) -(SETQ |$BFtag| '|:BF:|) -(SETQ |$Boolean| '(|Boolean|)) -(SETQ |$Category| '(|Category|)) -(SETQ |$Domain| '(|Domain|)) -(SETQ |$Exit| '(|Exit|)) -(SETQ |$Expression| '(|OutputForm|)) - -(SETQ |$OutputForm| '(|OutputForm|)) -(SETQ |$BigFloat| '(|Float|)) -(SETQ |$Float| '(|Float|)) -(SETQ |$DoubleFloat| '(|DoubleFloat|)) - -(SETQ |$FontTable| '(|FontTable|)) -(SETQ |$Integer| '(|Integer|)) -(SETQ |$ComplexInteger| (LIST '|Complex| |$Integer|)) -(SETQ |$Mode| '(|Mode|)) -(SETQ |$NegativeInteger| '(|NegativeInteger|)) -(SETQ |$NonNegativeInteger| '(|NonNegativeInteger|)) -(SETQ |$NonPositiveInteger| '(|NonPositiveInteger|)) -(SETQ |$PositiveInteger| '(|PositiveInteger|)) -(SETQ |$RationalNumber| '(|Fraction| (|Integer|))) -(SETQ |$String| '(|String|)) -(SETQ |$StringCategory| '(|StringCategory|)) -(SETQ |$Symbol| '(|Symbol|)) -(SETQ |$Void| '(|Void|)) -(SETQ |$QuotientField| '|Fraction|) -(SETQ |$FunctionalExpression| '|Expression|) -(SETQ |$defaultFunctionTargets| '(())) - -;; Old names -(SETQ |$SmallInteger| '(|SingleInteger|)) - -;; New Names -(SETQ |$SingleFloat| '(|SingleFloat|)) -(SETQ |$DoubleFloat| '(|DoubleFloat|)) -(SETQ |$SingleInteger| '(|SingleInteger|)) - -(SETQ $TOP_LEVEL T) -(SETQ $NE (LIST (LIST NIL))) -(SETQ |$InteractiveFrame| (LIST (LIST NIL))) -(SETQ |$gauss01| '(|gauss| 0 1)) -(SETQ |$LocalFrame| (LIST (LIST NIL))) -(SETQ |$DomainsInScope| (LIST NIL)) -(SETQ |$EmptyEnvironment| '((NIL))) -(SETQ |$NETail| (CONS |$EmptyEnvironment| NIL)) -(SETQ |$EmptyMode| '|$EmptyMode|) -(SETQ |$DummyFunctorNames| '(|Mapping|)) -(SETQ |$form| NIL) -(SETQ |$DoubleQuote| '"\"") -(SETQ |$EmptyString| "") -(SETQ |$EmptyVector| (VECTOR)) -(SETQ |$EmptyList| ()) -(SETQ |$Index| 0) -(SETQ |$true| ''T) -(SETQ |$false| NIL) -(SETQ |$suffix| NIL) -(SETQ |$BasicPredicates| '(INTEGERP STRINGP FLOATP)) -(SETQ |$coerceIntByMapCounter| 0) -(SETQ |$reportCoerce| NIL) -(SETQ |$reportCompilation| NIL) -(SETQ |$streamCount| 0) -(SETQ |$cacheCount| 0) -(SETQ |$streamIndexing| NIL) -(SETQ |$reportExitModeStack| NIL) -(SETQ |$prefix| NIL) -(SETQ |$Polvar| '(WRAPPED . ((1 . 1)))) -(SETQ |$OneCoef| '(1 1 . 1)) -(SETQ |$Lisp| '(|Lisp|)) -(SETQ |$ExpressionOpt| '(|Expression| . OPT)) -(SETQ |$formalArgList| ()) -(SETQ |$FormalMapVariableList| - '(|#1| |#2| |#3| |#4| |#5| |#6| |#7| |#8| |#9| |#10| - |#11| |#12| |#13| |#14| |#15| |#16| |#17| |#18| |#19| |#20| - |#21| |#22| |#23| |#24| |#25| |#26| |#27| |#28| |#29| |#30| - |#31| |#32| |#33| |#34| |#35| |#36| |#37| |#38| |#39| |#40| - |#41| |#42| |#43| |#44| |#45| |#46| |#47| |#48| |#49| |#50| - )) -(SETQ |$PatternVariableList| - '(*1 *2 *3 *4 *5 *6 *7 *8 *9 *10 *11 *12 *13 *14 *15 *16 *17 *18 *19 *20 - *21 *22 *23 *24 *25 *26 *27 *28 *29 *30 *31 *32 *33 *34 *35 *36 *37 *38 *39 *40 - *41 *42 *43 *44 *45 *46 *47 *48 *49 *50)) -(SETQ |$ModeVariableList| - '(dv$1 dv$2 dv$3 dv$4 dv$5 dv$6 dv$7 dv$8 dv$9 dv$10 dv$11 dv$12 dv$13 dv$14 dv$15 - dv$16 dv$17 dv$18 dv$19 dv$20)) -(SETQ |$DomainVariableList| - '($1 $2 $3 $4 $5 $6 $7 $8 $9 $10 $11 $12 $13 $14 $15 $16 $17 $18 $19 $20)) -(SETQ |$TriangleVariableList| - '(|t#1| |t#2| |t#3| |t#4| |t#5| |t#6| |t#7| |t#8| |t#9| |t#10| - |t#11| |t#12| |t#13| |t#14| |t#15| |t#16| |t#17| |t#18| |t#19| |t#20| - |t#21| |t#22| |t#23| |t#24| |t#25| |t#26| |t#27| |t#28| |t#29| |t#30| - |t#31| |t#32| |t#33| |t#34| |t#35| |t#36| |t#37| |t#38| |t#39| |t#40| - |t#41| |t#42| |t#43| |t#44| |t#45| |t#46| |t#47| |t#48| |t#49| |t#50|)) - -(SETQ |$PrimitiveDomainNames| - '(|List| |Integer| |NonNegativeInteger| |PositiveInteger| - |SingleInteger| |String| |Boolean|)) - ;" used in mkCategory to avoid generating vector slots" - ;" for primitive domains " - ;" also used by putInLocalDomainReferences and optCall" -(SETQ |$optimizableConstructorNames| - '(|List| |Integer| |PositiveInteger| |NonNegativeInteger| |SingleInteger| - |String| |Boolean| |Symbol| |DoubleFloat| |PrimitiveArray| |Vector|)) - ;" used by optCallSpecially" -(SETQ |$Zero| '(|Zero|)) -(SETQ |$One| '(|One|)) -(SETQ |$NonMentionableDomainNames| - '($ |Rep| |Record| |Union| |Mapping| |Enumeration|)) - -;" modemap:== ( (p e) (p e) ... (p e) ) " -;" modemaplist:= ( modemap ... ) " -(SETQ |$CategoryFrame| '((( - (|Category| . - ((|modemap| - ( ((|Category|) (|Category|)) (T *) ) - ))) - (|Join| . - ((|modemap| - ( ((|Category|) (|Category|) (|Category|) (|Category|)) (|T| *) ) - ( ((|Category|) (|Category|) (|List| (|Category|)) (|Category|)) (T *) ) - ))) - )))) - -(SETQ |$InitialDomainsInScope| - '(|$EmptyMode| |$NoValueMode|)) - -(SETQ |$InitialModemapFrame| '((NIL))) - -(SETQ NRTPARSE NIL) -(SETQ |$NRTflag| T) -(SETQ |$NRTaddForm| NIL) -(SETQ |$NRTdeltaList| NIL) -(SETQ |$NRTbase| 0) -(SETQ |$NRTdeltaLength| 0) -(SETQ |$NRTopt| NIL) ;; turns off buggy code -(SETQ |$Slot1DataBase| NIL) -(SETQ |$NRTmonitorIfTrue| NIL) - -(SETQ |$useConvertForCoercions| NIL) - -(MAKEPROP '|One| '|defaultType| |$Integer|) -(MAKEPROP '|Zero| '|defaultType| |$Integer|) - -;; Following were originally in EXPLORE BOOT - -(SETQ |$xdatabase| NIL) -(SETQ |$CatOfCatDatabase| NIL) -(SETQ |$DomOfCatDatabase| NIL) -(SETQ |$JoinOfDomDatabase| NIL) -(SETQ |$JoinOfCatDatabase| NIL) -(SETQ |$attributeDb| NIL) - -(SETQ |$abbreviateIfTrue| NIL) -(SETQ |$deltax| 0) -(SETQ |$deltay| 0) -(SETQ |$displayDomains| 'T) -(SETQ |$displayTowardAncestors| NIL) -(SETQ |$focus| NIL) -(SETQ |$focusAccessPath| NIL) -(SETQ |$minimumSeparation| 3) -(SETQ |$origMaxColumn| 80) -(SETQ |$origMaxRow| 20) -(SETQ |$origMinColumn| 1) -(SETQ |$origMinRow| 1) - -;; ---- start of initial settings for variables used in test.boot - -(SETQ |$testOutputLineFlag| NIL) ;; referenced by charyTop, prnd - ;; to stash lines -(SETQ |$testOutputLineStack| NIL) ;; saves lines to be printed - ;; (needed to convert lines for use - ;; in hypertex) -(SETQ |$runTestFlag| NIL) ;; referenced by maPrin to stash - ;; output by recordAndPrint to not - ;; print type/time -(SETQ |$mkTestFlag| NIL) ;; referenced by READLN to stash input - ;; by maPrin to stash output - ;; by recordAndPrint to write i/o - ;; onto $testStream -(SETQ |$mkTestInputStack| NIL) ;; saves input for $testStream - ;; (see READLN) -(SETQ |$mkTestOutputStack| NIL) ;; saves output for $testStream - ;; (see maPrin) - -;; ---- end of initial settings for variables used in test.boot - -;; Next flag determines whether to use BF as default floating point -;; type. (actually, now means NewFloat) - -(SETQ |$useBFasDefault| 'T) - -;; Next are initial values for fluid variables in G-BOOT BOOT - -(SETQ |$inDefLET| NIL) -(SETQ |$inDefIS| NIL) -(SETQ |$letGenVarCounter| 1) -(SETQ |$isGenVarCounter| 1) - -;; Next 2 lines originally from CLAM BOOT - -;; this node is used in looking up values -(SETQ |$hashNode| (LIST NIL)) - -(SETQ ERRORINSTREAM (DEFIOSTREAM - '((DEVICE . CONSOLE) (MODE . INPUT) (QUAL . T)) 133 1)) - -(SETQ ERROROUTSTREAM - (DEFIOSTREAM '((DEVICE . CONSOLE)(MODE . OUTPUT)) 80 0) ) - -(SETQ |$algebraOutputStream| - (DEFIOSTREAM '((DEVICE . CONSOLE)(MODE . OUTPUT)) 255 0) ) - -;; By default, don't generate info files with old compiler. -(setq |$profileCompiler| nil) - -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} diff --git a/src/interp/vmlisp.lisp.pamphlet b/src/interp/vmlisp.lisp.pamphlet index 2e3f814..b8dd6ea 100644 --- a/src/interp/vmlisp.lisp.pamphlet +++ b/src/interp/vmlisp.lisp.pamphlet @@ -7149,6 +7149,534 @@ special. (defun bvec-nand (bv1 bv2) (bit-nand bv1 bv2)) (defun bvec-nor (bv1 bv2) (bit-nor bv1 bv2)) (defun bvec-not (bv) (bit-not bv)) + +(SETQ |/MAJOR-VERSION| 7) +(SETQ /VERSION 0) +(SETQ /RELEASE 0) + +(defconstant |$cclSystem| +#+:CCL 't +#-:CCL nil +) + +;; These two variables are referred to in setvars.boot. +#+:kcl (setq input-libraries nil) +#+:kcl (setq output-library nil) + +;; For the browser, used for building local databases when a user compiles +;; their own code. +(SETQ |$newConstructorList| nil) +(SETQ |$newConlist| nil) +(SETQ |$createLocalLibDb| 't) + +;; These are duplicates of definitions in bookvol9 + +(defvar |$byConstructors| () "list of constructors to be compiled") +(defvar |$constructorsSeen| () "list of constructors found") + +;; These were originally in SPAD LISP + +(SETQ $BOOT NIL) +(SETQ $NBOOT NIL) +(setq |$interpOnly| nil) +(SETQ |$testingSystem| NIL) +(SETQ |$publicSystem| NIL) +(SETQ |$newcompMode| NIL) +(SETQ |$newComp| NIL) +(SETQ |$newCompCompare| NIL) +(SETQ |$permitWhere| NIL) +(SETQ |$newSystem| T) +(SETQ |$noSubsumption| T) ;; was T in a running axiom, from xruncomp +(SETQ |$bootStrapMode| NIL) ;; if true skip functor bodies +(SETQ |$compileDontDefineFunctions| 'T) +(SETQ |$compileOnlyCertainItems| NIL) +(SETQ |$devaluateList| NIL) +(SETQ |$doNotCompressHashTableIfTrue| NIL) +(SETQ |$mutableChecking| NIL) ; used in DEFINE BOOT +(SETQ |$mutableDomains| NIL) ; checked in DEFINE BOOT +(SETQ |$maxSignatureLineNumber| 0) +(SETQ |$functionLocations| NIL) +(SETQ |$functorLocalParameters| NIL) ; used in compSymbol +(SETQ /RELEASE '"UNKNOWN") +(SETQ |$insideCategoryPackageIfTrue| NIL) +(SETQ |$insideCompileBodyIfTrue| NIL) +(SETQ |$globalExposureGroupAlist| NIL) +(SETQ |$localExposureDataDefault| + (VECTOR (LIST '|basic| '|categories| '|naglink| '|anna| ) NIL NIL)) +(SETQ |$localExposureData| + (VECTOR (LIST '|basic| '|categories| '|naglink| '|anna| ) NIL NIL)) +(SETQ |$compilingInputFile| NIL) +(SETQ |$minivectorNames| NIL) +(setq |$ReadingFile| NIL) +(setq |$NonNullStream| "NonNullStream") +(setq |$NullStream| "NullStream") +(setq |$domPvar| nil) +(setq |$Newline| #\Newline) + + +(setq |$createUpdateFiles| nil) + +(SETQ $FUNNAME NIL) ;; this and next used in COMP,TRAN,1 +(SETQ $FUNNAME_TAIL '(())) +(SETQ $LASTPREFIX "S:") ;"default setting" +(SETQ |$inLispVM| 'T) +(SETQ $SPAD_ERRORS (VECTOR 0 0 0)) +(SETQ STAKCOLUMN -1) +(SETQ ECHOMETA NIL) +(SETQ |$checkParseIfTrue| 'NIL) +(SETQ |$oldParserExpandAbbrs| NIL) +(SETQ $DISPLAY NIL) +(SETQ |S:SPADKEY| NIL) ;" this is augmented by MAKESPADOP" +(SETQ $OLDLINE NIL) ;"used to output command lines" +(SETQ |/EDIT,FT| 'SPAD) +(SETQ |/EDIT,FM| 'A) +(SETQ /EDITFILE NIL) +(SETQ INITCOLUMN 0) +(SETQ |$functionTable| NIL) +(SETQ |$spaddefs| NIL) +(SETQ |$xeditIsConsole| NIL) +(SETQ |$echoInputLines| NIL) ;; This is in SETVART also +(SETQ |$Slot1DataBase| (MAKE-HASHTABLE 'ID)) ;; See NRUNTIME BOOT +(SETQ |$pfKeysForBrowse| NIL) +(SETQ MARG 0) + ;" Margin for testing by ?OP" +(SETQ LCTRUE '|true|) +(SETQ |$displayParserOutput| 'T) + +(SETQ |$insideReadRulesIfTrue| NIL) +(SETQ |$consistencyCheck| 'T) +(SETQ |$useUndo| NIL) +(SETQ |$ruleSetsInitialized| NIL) + +;; tell the system not to use the new parser +(SETQ |$useNewParser| NIL) + +(SETQ |$htPrecedenceTable| NIL) + +(SETQ |$NRTmakeCompactDirect| NIL) +(SETQ |$NRTquick| NIL) +(SETQ |$NRTmakeShortDirect| NIL) +(SETQ |$newWorld| NIL) +(SETQ |$returnNowhereFromGoGet| NIL) + +(SETQ |$insideCanCoerceFrom| NIL) + +(SETQ |$useCoerceOrCroak| T) + +(SETQ |$abbreviateJoin| NIL) + +(SETQ |$InterpreterMacroAlist| + '((|%i| . (|complex| 0 1)) + (|%e| . (|exp| 1)) + (|%pi| . (|pi|)) + (|SF| . (|DoubleFloat|)) + (|%infinity| . (|infinity|)) + (|%plusInfinity| . (|plusInfinity|)) + (|%minusInfinity| . (|minusInfinity|)))) + +;; variables controlling companion pages (see copage.boot) +(SETQ |$HTCompanionWindowID| nil) +(SETQ |$HTPreviousDomain| nil) +(SETQ |$HTOperationError| nil) + +;; Common lisp control variables +;;(setq *load-verbose* nil) +(setq *print-array* nil) +(setq *print-pretty* nil) +(setq *print-circle* nil) + +(SETQ |S:SPADTOK| 'SPADSYSTOK) +(SETQ APLMODE NIL) +(SETQ RLGENSYMFG NIL) +(SETQ RLGENSYMLST NIL) +(SETQ XTOKENREADER 'SPADTOK) +(SETQ |$delimiterTokenList| + '(| | |)| |(| |{| |}| |[| |]| ENDOFLINECHR EOI EOL |END_LINE|)) +(SETQ |$generalTokenIfTrue| NIL) +(SETQ OPASSOC NIL) +(SETQ SPADSYSKEY '(EOI EOL)) + +(SETQ $cacheAlist NIL) +(SETQ $streamAlist NIL) + +;; These are for the output routines in OUT BOOT + +(SETQ $LINELENGTH 77) +(SETQ $MARGIN 3) +(SETQ *TALLPAR NIL) +(SETQ ALLSTAR NIL) +(SETQ BLANK " ") +(SETQ COLON ":") +(SETQ COMMA ",") +(SETQ DASH "-") +(SETQ DOLLAR "$") +(SETQ EQSIGN "=") +(SETQ LPAR "(") +(SETQ MATBORCH "*") +(SETQ PERIOD ".") +(SETQ PLUSS "+") +(SETQ RPAR ")") +(SETQ SLASH "/") +(SETQ STAR "*") +(SETQ |$fortranArrayStartingIndex| 0) + +;; These were originally in INIT LISP + +(SETQ |$systemCreation| + (STRCONC (SUBSTRING (CURRENTTIME) 0 8) " at " + (SUBSTRING (CURRENTTIME) 8 5))) +(SETQ |$systemLastChanged| |$systemCreation|) + +(SETQ $LISPLIB NIL) +(SETQ |$dependeeClosureAlist| NIL) +(SETQ |$userModemaps| NIL) +(SETQ |$forceDatabaseUpdate| NIL) ;; see "load" function +(SETQ |$spadSystemDisks| '(I J K L)) +(SETQ |$functorForm| NIL) + +(SETQ |$spadLibFT| 'LISPLIB) + +(SETQ |$existingFiles| (MAKE-HASHTABLE 'UEQUAL)) +(SETQ |$updateCatTableIfTrue| 'T) + +(SETQ |$ConstructorCache| (MAKE-HASHTABLE 'ID)) +(SETQ |$instantRecord| (MAKE-HASHTABLE 'ID)) +(SETQ |$immediateDataSymbol| '|--immediateData--|) + +(SETQ |$useIntegerSubdomain| 'T) +(SETQ |$useNewFloat| 'T) + +;; Directories/disks on which to place various kinds of files +(SETQ |$libraryDirectory| 'A) +(SETQ |$listingDirectory| 'A) + +;; See CLAMMED BOOT for defs of following functions +(SETQ |$clamList| '( + (|canCoerce| |hash| UEQUAL |count|) + (|canCoerceFrom| |hash| UEQUAL |count|) + (|coerceConvertMmSelection| |hash| UEQUAL |count|) +; (|getModemapsFromDatabase| |hash| UEQUAL |count|) +; (|getOperationAlistFromLisplib| |hash| UEQUAL |count|) + (|hasFileProperty| |hash| UEQUAL |count|) + (|isLegitimateMode| |hash| UEQUAL |count|) + (|isValidType| |hash| UEQUAL |count|) + (|resolveTT| |hash| UEQUAL |count|) + (|selectMms1| |hash| UEQUAL |count|) + (|underDomainOf| |hash| UEQUAL |count|) +; (|isSubDomain| |hash| UEQUAL |count|) +)) + +;; following is symbol denoting a failed operation +(SETQ |$failure| (GENSYM)) +;; the following symbol holds the canonical "failed" value +(SETQ |$failed| "failed") + +(SETQ |$constructorDataTable| NIL) + +(SETQ |$underDomainAlist| '()) +;;(SETQ |$underDomainAlist| '( +;; (|DistributedMultivariatePolynomial| . 2) +;; (|MultivariatePolynomial| . 2) +;; (|NewDistributedMultivariatePolynomial| . 2) +;; (|RectangularMatrix| . 3) +;; (|SquareMatrix| . 2) +;; (|UnivariatePoly| . 2) +;; (|VVectorSpace| . 2) +;;)) + +(SETQ |$univariateDomains| '( + |UnivariatePolynomial| + |UnivariateTaylorSeries| + |UnivariateLaurentSeries| + |UnivariatePuiseuxSeries| + )) +(SETQ |$multivariateDomains| '( + |MultivariatePolynomial| + |DistributedMultivariatePolynomial| + |HomogeneousDistributedMultivariatePolynomial| + |GeneralDistributedMultivariatePolynomial| + )) + +(SETQ |$Primitives| '(|Union| |Mapping| |Record| |Enumeration|)) + +(SETQ |$DomainsWithoutLisplibs| '( + CAPSULE |Union| |Record| |SubDomain| |Mapping| |Enumeration| |Domain| |Mode|)) + +(SETQ |$letAssoc| NIL) + ;" used for trace of assignments in SPAD code -- see macro LETT" +(SETQ |$useDCQnotLET| NIL) ;; use DCQs for destructuring := patterns +(SETQ |$QuickCode| T) + ;" controls generation of QREFELT etc." +(SETQ |$QuickLet| T) + ;" controls generation of LET tracing." +(SETQ |$lastUntraced| NIL) + ;" used for )restore option of )trace." +(SETQ |$mathTraceList| NIL) + ;" controls mathprint output for )trace." +(SETQ |$domainTraceNameAssoc| NIL) + ;"alist of traced domains" +(SETQ |$tracedMapSignatures| ()) +(SETQ |$highlightAllowed| 'T) + ;" used in BRIGHTPRINT and is a )set variable" + +(SETQ |$leftPren| "(") ;;[for use in SAY expressions] +(SETQ |$rightPren| ")") + +(SETQ |$abbreviationTable| NIL) + +(SETQ |$ConstructorNames| '( + |SubDomain| |List| |Union| |Record| |Vector| + )) + ;" Used in isFunctor test, and compDefine " + +(SETQ |$SpecialDomainNames| '( + |add| CAPSULE |SubDomain| |List| |Union| |Record| |Vector| + )) + ;" Used in isDomainForm, addEmptyCapsuleIfnecessary" + +(SETQ |$DomainNames| '( + |Integer| |Float| |Symbol| |Boolean| |String| |Expression| + |Mapping| |SubDomain| |List| |Union| |Record| |Vector| |Enumeration| + )) + +(SETQ |$CategoryNames| '( + |Category| |CATEGORY| |RecordCategory| |Join| |EnumerationCategory| + |StringCategory| |SubsetCategory| |UnionCategory| + )) + +(|SETQ| |$BasicDomains| '(|Integer| |Float| |Symbol| |Boolean| |String|)) + +(SETQ |$PrintCompilerMessagesIfTrue| NIL) +(SETQ |$printStorageIfTrue| NIL) ;; storage info disabled in common lisp +(SETQ |$mostRecentOpAlist| NIL) +(SETQ |$noEnv| NIL) +(SETQ |$croakIfTrue| NIL) ;" see moan in UT" +(SETQ |$opFilter| NIL) ;" used to |/s a function " +(SETQ |$evalDomain| NIL) + +(SETQ |$SideEffectFreeFunctionList| '( + |null| |case| |Zero| |One| \: |::| |has| |Mapping| + |elt| = |>| |>=| |<| |<=| MEMBER |is| |isnt| ATOM + $= |$>| |$>=| |$<| |$<=| $^= $MEMBER +)) + +(SETQ |$AnonymousFunction| '(|AnonymousFunction|)) +(SETQ |$Any| '(|Any|)) +(SETQ |$BFtag| '|:BF:|) +(SETQ |$Boolean| '(|Boolean|)) +(SETQ |$Category| '(|Category|)) +(SETQ |$Domain| '(|Domain|)) +(SETQ |$Exit| '(|Exit|)) +(SETQ |$Expression| '(|OutputForm|)) + +(SETQ |$OutputForm| '(|OutputForm|)) +(SETQ |$BigFloat| '(|Float|)) +(SETQ |$Float| '(|Float|)) +(SETQ |$DoubleFloat| '(|DoubleFloat|)) + +(SETQ |$FontTable| '(|FontTable|)) +(SETQ |$Integer| '(|Integer|)) +(SETQ |$ComplexInteger| (LIST '|Complex| |$Integer|)) +(SETQ |$Mode| '(|Mode|)) +(SETQ |$NegativeInteger| '(|NegativeInteger|)) +(SETQ |$NonNegativeInteger| '(|NonNegativeInteger|)) +(SETQ |$NonPositiveInteger| '(|NonPositiveInteger|)) +(SETQ |$PositiveInteger| '(|PositiveInteger|)) +(SETQ |$RationalNumber| '(|Fraction| (|Integer|))) +(SETQ |$String| '(|String|)) +(SETQ |$StringCategory| '(|StringCategory|)) +(SETQ |$Symbol| '(|Symbol|)) +(SETQ |$Void| '(|Void|)) +(SETQ |$QuotientField| '|Fraction|) +(SETQ |$FunctionalExpression| '|Expression|) +(SETQ |$defaultFunctionTargets| '(())) + +;; Old names +(SETQ |$SmallInteger| '(|SingleInteger|)) + +;; New Names +(SETQ |$SingleFloat| '(|SingleFloat|)) +(SETQ |$DoubleFloat| '(|DoubleFloat|)) +(SETQ |$SingleInteger| '(|SingleInteger|)) + +(SETQ $TOP_LEVEL T) +(SETQ $NE (LIST (LIST NIL))) +(SETQ |$InteractiveFrame| (LIST (LIST NIL))) +(SETQ |$gauss01| '(|gauss| 0 1)) +(SETQ |$LocalFrame| (LIST (LIST NIL))) +(SETQ |$DomainsInScope| (LIST NIL)) +(SETQ |$EmptyEnvironment| '((NIL))) +(SETQ |$NETail| (CONS |$EmptyEnvironment| NIL)) +(SETQ |$EmptyMode| '|$EmptyMode|) +(SETQ |$DummyFunctorNames| '(|Mapping|)) +(SETQ |$form| NIL) +(SETQ |$DoubleQuote| '"\"") +(SETQ |$EmptyString| "") +(SETQ |$EmptyVector| (VECTOR)) +(SETQ |$EmptyList| ()) +(SETQ |$Index| 0) +(SETQ |$true| ''T) +(SETQ |$false| NIL) +(SETQ |$suffix| NIL) +(SETQ |$BasicPredicates| '(INTEGERP STRINGP FLOATP)) +(SETQ |$coerceIntByMapCounter| 0) +(SETQ |$reportCoerce| NIL) +(SETQ |$reportCompilation| NIL) +(SETQ |$streamCount| 0) +(SETQ |$cacheCount| 0) +(SETQ |$streamIndexing| NIL) +(SETQ |$reportExitModeStack| NIL) +(SETQ |$prefix| NIL) +(SETQ |$Polvar| '(WRAPPED . ((1 . 1)))) +(SETQ |$OneCoef| '(1 1 . 1)) +(SETQ |$Lisp| '(|Lisp|)) +(SETQ |$ExpressionOpt| '(|Expression| . OPT)) +(SETQ |$formalArgList| ()) +(SETQ |$FormalMapVariableList| + '(|#1| |#2| |#3| |#4| |#5| |#6| |#7| |#8| |#9| |#10| + |#11| |#12| |#13| |#14| |#15| |#16| |#17| |#18| |#19| |#20| + |#21| |#22| |#23| |#24| |#25| |#26| |#27| |#28| |#29| |#30| + |#31| |#32| |#33| |#34| |#35| |#36| |#37| |#38| |#39| |#40| + |#41| |#42| |#43| |#44| |#45| |#46| |#47| |#48| |#49| |#50| + )) +(SETQ |$PatternVariableList| + '(*1 *2 *3 *4 *5 *6 *7 *8 *9 *10 *11 *12 *13 *14 *15 *16 *17 *18 *19 *20 + *21 *22 *23 *24 *25 *26 *27 *28 *29 *30 *31 *32 *33 *34 *35 *36 *37 *38 *39 *40 + *41 *42 *43 *44 *45 *46 *47 *48 *49 *50)) +(SETQ |$ModeVariableList| + '(dv$1 dv$2 dv$3 dv$4 dv$5 dv$6 dv$7 dv$8 dv$9 dv$10 dv$11 dv$12 dv$13 dv$14 dv$15 + dv$16 dv$17 dv$18 dv$19 dv$20)) +(SETQ |$DomainVariableList| + '($1 $2 $3 $4 $5 $6 $7 $8 $9 $10 $11 $12 $13 $14 $15 $16 $17 $18 $19 $20)) +(SETQ |$TriangleVariableList| + '(|t#1| |t#2| |t#3| |t#4| |t#5| |t#6| |t#7| |t#8| |t#9| |t#10| + |t#11| |t#12| |t#13| |t#14| |t#15| |t#16| |t#17| |t#18| |t#19| |t#20| + |t#21| |t#22| |t#23| |t#24| |t#25| |t#26| |t#27| |t#28| |t#29| |t#30| + |t#31| |t#32| |t#33| |t#34| |t#35| |t#36| |t#37| |t#38| |t#39| |t#40| + |t#41| |t#42| |t#43| |t#44| |t#45| |t#46| |t#47| |t#48| |t#49| |t#50|)) + +(SETQ |$PrimitiveDomainNames| + '(|List| |Integer| |NonNegativeInteger| |PositiveInteger| + |SingleInteger| |String| |Boolean|)) + ;" used in mkCategory to avoid generating vector slots" + ;" for primitive domains " + ;" also used by putInLocalDomainReferences and optCall" +(SETQ |$optimizableConstructorNames| + '(|List| |Integer| |PositiveInteger| |NonNegativeInteger| |SingleInteger| + |String| |Boolean| |Symbol| |DoubleFloat| |PrimitiveArray| |Vector|)) + ;" used by optCallSpecially" +(SETQ |$Zero| '(|Zero|)) +(SETQ |$One| '(|One|)) +(SETQ |$NonMentionableDomainNames| + '($ |Rep| |Record| |Union| |Mapping| |Enumeration|)) + +;" modemap:== ( (p e) (p e) ... (p e) ) " +;" modemaplist:= ( modemap ... ) " +(SETQ |$CategoryFrame| '((( + (|Category| . + ((|modemap| + ( ((|Category|) (|Category|)) (T *) ) + ))) + (|Join| . + ((|modemap| + ( ((|Category|) (|Category|) (|Category|) (|Category|)) (|T| *) ) + ( ((|Category|) (|Category|) (|List| (|Category|)) (|Category|)) (T *) ) + ))) + )))) + +(SETQ |$InitialDomainsInScope| + '(|$EmptyMode| |$NoValueMode|)) + +(SETQ |$InitialModemapFrame| '((NIL))) + +(SETQ NRTPARSE NIL) +(SETQ |$NRTflag| T) +(SETQ |$NRTaddForm| NIL) +(SETQ |$NRTdeltaList| NIL) +(SETQ |$NRTbase| 0) +(SETQ |$NRTdeltaLength| 0) +(SETQ |$NRTopt| NIL) ;; turns off buggy code +(SETQ |$Slot1DataBase| NIL) +(SETQ |$NRTmonitorIfTrue| NIL) + +(SETQ |$useConvertForCoercions| NIL) + +(MAKEPROP '|One| '|defaultType| |$Integer|) +(MAKEPROP '|Zero| '|defaultType| |$Integer|) + +;; Following were originally in EXPLORE BOOT + +(SETQ |$xdatabase| NIL) +(SETQ |$CatOfCatDatabase| NIL) +(SETQ |$DomOfCatDatabase| NIL) +(SETQ |$JoinOfDomDatabase| NIL) +(SETQ |$JoinOfCatDatabase| NIL) +(SETQ |$attributeDb| NIL) + +(SETQ |$abbreviateIfTrue| NIL) +(SETQ |$deltax| 0) +(SETQ |$deltay| 0) +(SETQ |$displayDomains| 'T) +(SETQ |$displayTowardAncestors| NIL) +(SETQ |$focus| NIL) +(SETQ |$focusAccessPath| NIL) +(SETQ |$minimumSeparation| 3) +(SETQ |$origMaxColumn| 80) +(SETQ |$origMaxRow| 20) +(SETQ |$origMinColumn| 1) +(SETQ |$origMinRow| 1) + +;; ---- start of initial settings for variables used in test.boot + +(SETQ |$testOutputLineFlag| NIL) ;; referenced by charyTop, prnd + ;; to stash lines +(SETQ |$testOutputLineStack| NIL) ;; saves lines to be printed + ;; (needed to convert lines for use + ;; in hypertex) +(SETQ |$runTestFlag| NIL) ;; referenced by maPrin to stash + ;; output by recordAndPrint to not + ;; print type/time +(SETQ |$mkTestFlag| NIL) ;; referenced by READLN to stash input + ;; by maPrin to stash output + ;; by recordAndPrint to write i/o + ;; onto $testStream +(SETQ |$mkTestInputStack| NIL) ;; saves input for $testStream + ;; (see READLN) +(SETQ |$mkTestOutputStack| NIL) ;; saves output for $testStream + ;; (see maPrin) + +;; ---- end of initial settings for variables used in test.boot + +;; Next flag determines whether to use BF as default floating point +;; type. (actually, now means NewFloat) + +(SETQ |$useBFasDefault| 'T) + +;; Next are initial values for fluid variables in G-BOOT BOOT + +(SETQ |$inDefLET| NIL) +(SETQ |$inDefIS| NIL) +(SETQ |$letGenVarCounter| 1) +(SETQ |$isGenVarCounter| 1) + +;; Next 2 lines originally from CLAM BOOT + +;; this node is used in looking up values +(SETQ |$hashNode| (LIST NIL)) + +(SETQ ERRORINSTREAM (DEFIOSTREAM + '((DEVICE . CONSOLE) (MODE . INPUT) (QUAL . T)) 133 1)) + +(SETQ ERROROUTSTREAM + (DEFIOSTREAM '((DEVICE . CONSOLE)(MODE . OUTPUT)) 80 0) ) + +(SETQ |$algebraOutputStream| + (DEFIOSTREAM '((DEVICE . CONSOLE)(MODE . OUTPUT)) 255 0) ) + +;; By default, don't generate info files with old compiler. +(setq |$profileCompiler| nil) + + @ \eject \begin{thebibliography}{99}