Age | Commit message (Collapse) | Author | Files | Lines |
|
* 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.
|
|
($insideEvalMmCondIfTrue): Likewise.
|
|
* 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.
|
|
bootfuns.lisp from the list.
(OBJS): Likewise.
(AXIOMsys_noncompiled_lisp_sources): Likewise.
(${DEPSYS}): Don't depend on bootfuns. Don't load it.
(bootfuns.$(FASLEXT)): Remove.
* Makefile.in: Regenerate.
* setq.lisp.pamphlet: Move to sys-globals.boot.
* bootfuns.lisp.pamphlet: Remove.
|
|
* setq.lisp.pamphlet (|$CategoryFrame|): Don't set here.
|
|
* setq.lisp.pamphlet ($LISPLIB): Don't set here.
|
|
* bootfuns.lisp.pamphlet (|$PrintOnly|): Move to sys-globals.boot.
(|$QuickCode|): Likewise.
(|$QuickLet|): Likewise.
(|$reportBottomUpFlag|): Likewise.
(|$reportFlag|): Likewise.
(|$returnMode|): Likewise.
(|$SetFunctions|): Likewise.
(|$slamFlag|): Likewise.
(|$sourceFileTypes|): Likewise.
(|$printLoadMsgs|): Likewise.
(|$reportCompilation|): Likewise.
(|$reportCoerceIfTrue|): Move to setvart.boot.pamphlet.
(|$SystemSynonyms|): Remove.
(|$QuietIfNil|): Remove.
(|$readingFile|): Likewise.
(|$reportCoerce|): Likewise.
(|$reportCompilation|): Likewise.
(|$reportSpadTrace|): Likewise.
(|$resolveFlag|): Likewise.
(|$scanModeFlag|): Likewise.
(|OptionList|): Likewise.
(def-boot-var): Likewise.
* setq.lisp.pamphlet (|$QuickCode|): Don't set here.
(|$QuickLet|): Likewise.
(|$reportCoerce|): Likewise.
* bookvol5.pamphlet (restart): Don't $printLodMsgs here.
|
|
($TOKSTACK): Likewise.
($function): Likewise.
($FUNNAME): Likewise.
($FunName_Tail): Likewise.
($lastprefix): Likewise.
($linestack): Likewise.
($maxlinenumber): Likewise.
($OLDLINE): Likewise.
($SPAD): Likewise.
($delay): Move to debug.lisp.pamphlet.
($LINENUMBER): Likewise.
($Directory): Remove.
($top_stack): Remove.
($DISPLAY): Likewise.
(|$gauss01|): Likewise.
($NBOOT): Likewise.
($NEWLINSTACK): Likewise.
($num_of_meta_errors): Move to metalex.lisp.pamphlet.
* setq.lisp.pamphlet ($TOP_LEVEL): Don't set here.
($DISPLAY): Likewise.
($FUNNAME): Likewise.
($FUNNAME_TAIL): Likewise.
(|$gauss01|): Likewise.
($LASTPREFIX): Likewise.
($NBOOT): Likewise.
($OLDLINE): Likewise.
* spad.lisp.pamphlet ($linestack): Likewise.
($maxlinenumber): Likewise.
(|New,ENTRY,1|): Don't bind here.
|
|
* define.boot.pamphlet (compDefine): Likewise.
* wi1.boot.pamphlet (compDefine): Likewise.
* c-util.boot.pamphlet (displayComp): Likewise.
* spad.lisp.pamphlet (/TRANSPAD): Likewise.
* bootfuns.lisp.pamphlet (|$useDCQnotLET|): Move to
sys-globals.boot.
(|$updateCatTableIfTrue|): Likewise.
(|$updateIfTrue|): Remove.
(|$streamCount|): Likewise.
(|$tripleCache|): Remove.
(|$TranslateOnly|): Likewise.
(|$topOp|): Likewise.
(|$streamIndexing|): Remove.
(|$streamAlist|): Likewise.
* setq.lisp.pamphlet (|$useDCQnotLET|): Don't set here.
($streamAlist): Likewise.
(|$updateCatTableIfTrue|): Likewise.
(|$streamIndexing|): Likewise.
(|$streamCount|): Likewise.
|
|
bootfuns.lisp.pamphlet.
($suffix): Likewise.
($useBFasDefault): Likewise.
($semanticErrorStack): Likewise.
($tracedModemap): Likewise.
($tracedSpadModemap): Likewise.
($traceletFunctions): Likewise.
* bootfuns.lisp.pamphlet (|$VariableCount|): Move to
sys-globals.boot.
(|$suffix|): Likewise.
(|$useBFasDefault|): Likewise.
(|$semanticErrorStack|): Likewise.
(|$tracedModemap|): Likewise.
(|$tracedSpadModemap|): Likewise.
(|$traceletFunctions|): Likewise.
(|$TraceFlag|): Move to debug.lisp.pamphlet.
(|$traceDomains|): Likewise.
(|$systemLastChanged|): Remove.
(|$systemCreation|): Likewise.
(|$StreamIndex|): Remove.
(|$spadSystemDisks|): Likewise.
(|$spadOpList|): Likewise.
(|$traceNoisely|): Remove from here.
(|$timerOn|): Move to debug.lisp.pamphlet.
* setq.lisp.pamphlet (|$systemLastChanged|): Remove.
(|$systemCreation|): Likewise.
* setq.lisp.pamphlet (|$useBFasDefault|): Don't set here.
* setq.lisp.pamphlet (|$reportExitModeStack|): Likewise.
* setq.lisp.pamphlet (|$spadSystemDisks|): Likewise.
* spad.lisp.pamphlet (|$useBFasDefault|): Likewise.
|
|
($PrettyPrint): Likewise.
($previousTime): Likewise.
* bootfuns.lisp.pamphlet (|$prefix|): Move to sys-globals.boot.
(|$PrettyPrint|): Likewise.
(|$previousTime|): Likewise.
(|$postStack|): Move to postpar.boot.pamphlet.
(|$OneCoef|): Remove.
(|$operationNameList|): Likewise.
(|$opFilter|): Likewise.
(|$optionAlist|): Likewise.
(|$OutsideStringIfTrue|): Likewise.
(|$PolyMode|): Likewise.
(|$Polvar|): Likewise.
(|$optimizableDomainNames|): Likewise.
(|$PrintBox|): Likewise.
(|$PrintCompilerMessagesIfTrue|): Likewise.
(|$printConStats|): Likewise.
* setq.lisp.pamphlet (|$opFilter|): Remove.
(|$OneCoef|): Likewise.
(|$Polvar|): Likewise.
(|$PrintCompilerMessagesIfTrue|): Likewise.
* spad.lisp.pamphlet (S-PROCESS): Don't bind |$postStack|. Set it
to nil.
* debug.lisp.pamphlet (|$oldTime|): Move from bootfuns.lisp.pamphlet.
* bootfuns.lisp.pamphlet (|$oldTime|): Move to debug.lisp.pamphlet.
* setvars.boot.pamphlet (resetWorkspaceVariables): Don't set
$operationNameList anymore.
* spad.lisp.pamphlet (S-PROCESS): Don't bind $PolyMode anymore.
|
|
bootfuns.lisp.pamphlet.
($letAssoc): Likewise.
($libFile): Likewise.
($lisplibForm): Likewise.
($lisplibKind): Likewise.
($lisplibModemapAlist): Likewise.
($lisplibModemap): Likewise.
($lisplibOperationAlist): Likewise.
($lisplibSignatureAlist): Likewise.
($lisplibVariableAlist): Likewise.
($mapSubNameAlist): Likewise.
($mathTrace): Lilkewise.
($mathTraceList): Likewise.
* sys-constants.boot ($exitMode): Likewise.
($leaveMode): Likewise.
($noEnv): Likewise.
* trace.boot.pamphlet ($lastUntraced): Likewise.
* spad.lisp.pamphlet (|$leaveMode|): Don't bind here.
* setq.lisp.pamphlet (|$Lisp|): Remove.
(|$noEnv|): Don't set here.
(|$lastUntraced|): Likewise.
(|$mostRecentOpAlist|): Likewise.
(|$mathTraceList|): Likewise.
(|$letAssoc|): Likewise.
* bootfuns.lisp.pamphlet (|$noEnv|): Move to sys-constants.boot.
(|$leaveMode|): Likewise.
(|$lastUntraced|): Move to trace.boot.pamphlet.
(|$leaveLevelStack|): Move to sys-globals.boot.
(|$letAssoc|): Likewise.
(|$libFile|): Likewise.
(|$lisplibDomainDependents|): Likewise.
(|$lisplibForm|): Likewise.
(|$lisplibKind|): Likewise.
(|$lisplibModemapAlist|): Likewise.
(|$lisplibModemap|): Likewise.
(|$lisplibOperationAlist|): Likewise.
(|$lisplibSignatureAlist|): Likewise.
(|$lisplibVariableAlist|): Likewise.
(|$mapSubNameAlist|): Likewise.
(|$mathTrace|): Likewise.
(|$mathTraceList|): Likewise.
(|$Lisp|): Remove.
(|$lisplibDependentCategories|): Likewise.
(|$lisp2lispRenameAssoc|): Likewise.
(|$ModemapFrame|): Likewise.
(|$mostRecentOpAlist|): Likewise.
|
|
sys-globals.boot.
(|$form|): Likewise.
(|$fromSpadTrace|): Likewise
(|$genSDVar|): Likewise.
(|$Index|): Likewise.
(|$inLispVM|): Likewise.
(|$insideCapsuleFunctionIfTrue|): Likewise.
(|$insideCategoryIfTrue|): Likewise.
(|$insideCoerceInteractiveHardIfTrue|): Likewise.
(|$insideCompTypeOf|): Likewise.
(|$insideConstructIfTrue|): Likewise.
(|$insideExpressionIfTrue|): Likewise.
(|$insideFunctorIfTrue|): Likewise.
(|$insideWhereIfTrue|): Likewise.
(|$instantRecord|): Likewise.
(|$InteractiveFrame|): Likewise.
(|$InteractiveMode|): Likewise.
(|$InteractiveTimingStatsIfTrue|): Likewise.
(|$genFVar|): Remove.
(|$ignoreCommentsIfTrue|): Likewise.
(|$InteractiveModemapFrame|): Likewise.
* setq.lisp.pamphlet (|$inLispVM|): Remove.
(|$InteractiveMode|): Likewise.
(|$forceDatabaseUpdate|): Likewise.
(|$InteractiveFrame|): Likewise.
(|$form|): Likewise.
(|$Index|): Likewise.
* sys-constants.boot ($ExitMode): Define.
($exitMode): Move from bootfuns.lisp.pamphlet.
* sys-globals.boot ($form): Likewise.
($fromSpadTrace): Likewise.
($genSDVar): Likewise.
($Index): Likewise.
($inLispVM): Likewise.
($insideCapsuleFunctionIfTrue): Likewise.
($insideCategoryIfTrue): Likewise.
($insideCoerceInteractiveHardIfTrue): Likewise.
($insideConstructIfTrue): Likewise.
($insideExpressionIfTrue): Likewise.
($insideFunctorIfTrue): Likewise.
($insideWhereIfTrue): Likewise.
($instantRecord): Likewise.
($InteractiveFrame): Likewise.
($(InteractiveMode): Likewise.
($InteractiveTimingStatsIftrue): Likewise.
($forceDatabaseUpdate): Likewise.
* spad.lisp.pamphlet (S-PROCESS): Don't bind $exitMode here.
* bootfuns.lisp.pamphlet (|$exitMode|): Move to sys-constants.boot
* wi2.boot.pamphlet (compDefineFunctor1): Likewise.
* spad.lisp.pamphlet (S-PROCESS): Likewise.
* define.boot.pamphlet (compDefineFunctor1): Remove unused
$genFVar.
* varini.boot.pamphlet ($ExitMode): Don't double define here.
|
|
($inputPromptType): Likewise.
($whereList): Likewise.
($warningStack): Likewise.
* patches.lisp.pamphlet (|$inputPromptType|): Don't set here.
* bootfuns.lisp.pamphlet ($Type): Remove.
(|$warningStack|): Move to sys-globals.boot.
(|$whereList|): Likewise.
(|$inputPromptType|): Likewise.
(|$IOindex|): Likewise.
|
|
(|$DomainFrame|): Remove.
(|$eltIfNil|): Remove.
(|$compileMapFlag|): Remove.
(|$evalDomain|): Don't set here.
(|$false|): Move to sys-constants.boot.
(|$domainTraceNameAssoc|): Move to sys-globals.boot.
(|$evalDomain|): Move to sys-globals.boot.
(|$exitModeStack|): Move to sys-globals.boot
* pspad1.boot.pamphlet (lisp2Boot): Don't declare $eltIfNil anymore.
* setvars.boot.pamphlet (resetWorkspaceVariables): Don't set
anymore.
* setq.lisp.pamphlet (|$domainTraceNameAssoc|): Don't set here.
* spad.lisp.pamphlet (S-PROCESS): Don't bind |$DomainFrame| anymore.
(S-PROCESS): Set $exitModeStack to nil.
(|$false|): Don't set here.
|
|
($BreakMode): Likewise.
($cacheAlist): Likewise.
($cacheCount): Likewise.
($clamList): Likewise.
($compCount): Likewise.
($compUniquelyIfTrue): Likewise.
($ConstructorCache): Likewise.
($createUpdateFiles): Likewise.
($currentFunction): Likewise.
($currentLine): Likewise.
* setq.lisp.pamphlet: Merge the definitions of the above mentioned
variables into sys-globals.boot.
* Makefile.pamphlet (sys-globals.$(FASLEXT)): Require
hash.$(FASLEXT).
* Makefile.in: Regenerate.
|
|
(errorSupervisor1): Call BUMPERRORCOUNT, not BUMPCOMPERRORCOUNT.
The latter no longer exists.
* msgdb.boot.pamphlet (throwKeyedErrorMsg): Likewise.
* Makefile.pamphlet (${DEPSYS}): Depend also on
sys-constant.$(FASLEXT), sys-globals.$(FASLEXT), and
diagnostics.$(FASLEXT).
(bootfuns.$(FASLEXT)): Likewise.
(diagnostics.boot): New rule.
(sys-globals.boot): Likewise.
(sys-constants.boot): Likewise.
* Makefile.in: Regenerate.
* diagnostics.boot: New.
(BUMPERRORCOUNT): Move from bootlex.lisp.pamphlet. Rewrite as
Boot code.
* sys-constants.boot: New.
* sys-globals.boot: Likewise.
* bootlex.lisp.pamphlet (BUMPERRORCOUNT): Move to diagnostics.boot.
* varini.boot.pamphlet ($NoValueMode): Don't duplicate define.
* spad.lisp.pamphlet (S-PROCESS): Don't bind $LocalFrame here.
* patches.lisp.pamphlet: Tidy.
* nag-f01.boot.pamphlet (f01mafSolve): Use $EmptyMode to refer to
the wildcar type.
(f01brfSolve): Likewise.
* setq.lisp.pamphlet: Move variables already defined in
bootfuns.lisp.pamphlet to sys-contants, and merge initial values.
($SPAD_ERRORS): Move to sys-globals.boot.
* bootfuns.lisp.pamphlet: Now import both "sys-constants" and
"sys-globals".
(|$timerTicksPerSecond|): Move to sys-constants.boot.
(|$quadSymbol|): Likewise.
($escapeString): Likewise.
($boxString): Likewise.
($boldString): Likewise.
($normalString): Likewise.
($reverseVideoString): Likewise.
($underlineString): Likewise.
($COMPILE): Likewise.
($BasicPredicates): Likewise.
($BFTag): Likewise.
($BigFloat): Likewise.
($Boolean): Likewise.
($Category): Likewise.
($CategoryNames): Likewise.
($Domain): Likewise.
($DomainNames): Likewise.
($DomainsInScope): Likewise.
($DoubleQuote): Likewise.
($DummyFunctorNames): Likewise.
($EmptyEnvironment): Likewise.
($EmptyList): Likewise.
($EmptyMode): Likewise.
($EmptyString): Likewise.
($EmptyVector): Likewise.
($Expression): Likewise.
($Exit): Likewise.
($failure): Likewise.
($Float): Likewise.
($FormalMapVariableList): Likewise.
($ConstructorNames): Likewise.
($InitialDomainsInScope): Likewise.
($InitialModemapFrame): Likewise.
($Integer): Likewise.
($LocalFrame): Likewise.
($NegativeInteger): Likewise.
($NonNegativeInteger): Likewise.
($NonPositiveInteger): Likewise.
($NonMentionableDomainNames): Likewise.
($noParseCommands): Likewise.
($NoValueMode): Likewise.
($NoValue): Likewise.
($Mode): Likewise.
($ModeVariableList): Likewise.
($One): Likewise.
($PatternVariableList): Likewise.
($PositiveInteger): Likewise.
($PrimitiveDomainNames): Likewise.
($RationalNumber): Likewise.
($SideEffectFreeFunctionList): Likewise.
($SmallInteger): Likewise.
($SpecialDomainNames): Likewise.
($StringCategory): Likewise.
($String): Likewise.
($Symbol): Likewise.
($systemCommands): Likewise.
($ThrowAwayMode): Likewise.
($tokenCommands): Likewise.
($true): Likeiwse.
($underDomainAlist): Likewise.
($Void): Likewise.
($Zero): Likewise.
(|$DomainVariableList|): Likewise.
(|$quadSym|): Remove.
($BigFloatOpt): Likewise.
($BooleanOpt): Likewise.
($EM): Likewise.
($ExpressionOpt): Likewise.
($FloatOpt): Likewise.
($FormalMapVariableList2): Likewise.
($IntegerOpt): Likewise.
($NegativeIntegerOpt): Likewise.
($NonNegativeIntegerOpt): Likewise.
($NonPositiveIntegerOpt): Likewise.
($PositiveIntegerOpt): Likewise.
($RationalNumberOpt): Likewise.
($SmallIntegerOpt): Likewise.
($StringOpt): Likewise.
($SymbolOpt): Likewise.
* setq.lisp.pamphlet (|$timerTicksPerSecond|): Remove.
(|$quadSymbol|): Likewise.
($escapeString): Likewise.
($boxString): Likewise.
($boldString): Likewise.
($normalString): Likewise.
($reverseVideoString): Likewise.
($underlineString): Likewise.
($COMPILE): Likewise.
($BasicPredicates): Likewise.
($BFTag): Likewise.
($BigFloat): Likewise.
($Boolean): Likewise.
($Category): Likewise.
($CategoryNames): Likewise.
($Domain): Likewise.
($DomainNames): Likewise.
($DomainsInScope): Likewise.
($DoubleQuote): Likewise.
($DummyFunctorNames): Likewise.
($EmptyEnvironment): Likewise.
($EmptyList): Likewise.
($EmptyMode): Likewise.
($EmptyString): Likewise.
($EmptyVector): Likewise.
($Expression): Likewise.
($Exit): Likewise.
($failure): Likewise.
($Float): Likewise.
($FormalMapVariableList): Likewise.
($ConstructorNames): Likewise.
($InitialDomainsInScope): Likewise.
($InitialModemapFrame): Likewise.
($Integer): Likewise.
($LocalFrame): Likewise.
($NegativeInteger): Likewise.
($NonNegativeInteger): Likewise.
($NonPositiveInteger): Likewise.
($NonMentionableDomainNames): Likewise.
($noParseCommands): Likewise.
($NoValueMode): Likewise.
($NoValue): Likewise.
($Mode): Likewise.
($ModeVariableList): Likewise.
($One): Likewise.
($PatternVariableList): Likewise.
($PositiveInteger): Likewise.
($PrimitiveDomainNames): Likewise.
($RationalNumber): Likewise.
($SideEffectFreeFunctionList): Likewise.
($SmallInteger): Likewise.
($SpecialDomainNames): Likewise.
($StringCategory): Likewise.
($String): Likewise.
($Symbol): Likewise.
($systemCommands): Likewise.
($ThrowAwayMode): Likewise.
($tokenCommands): Likewise.
($true): Likeiwse.
($underDomainAlist): Likewise.
($Void): Likewise.
($Zero): Likewise.
(|$DomainVariableList|): Likewise.
|