Age | Commit message (Collapse) | Author | Files | Lines |
|
Include Identifier.
* interp/compiler.boot (compElt): Fix up 0 and 1 shenannigan.
* algebra/boolean.spad.pamphlet (Reference): Use Identifier.
* algebra/Makefile.pamphlet (axiom_algebra_bootstrap): Remove REF.
(axiom_algebra_bootstrap_last_layer): Likewise.
* algebra/strap/REF.lsp: Remove.
|
|
* interp/compiler.boot (compQuote): Use the target mode if appropriate.
* interp/i-spec2.boot (upQUOTE): Likewise.
* algebra/syntax.spad.pamphlet: Use Identifier in lieu of Symbol.
|
|
(getFFIDatatype): Accept ReadWrite modifier.
* algebra/data.spad.pamphlet (Int32): New.
(UInt64): Likewise.
* algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT64
and UINT64.
|
|
signature import.
* interp/functor.boot (encodeLocalFunctionName): New.
* interp/define.boot (compDefine1): Avoid getAbbreviation.
(doIt): Handle %SignatureImport nodes.
* interp/compiler.boot (emitLocalCallInsn): New.
(applyMapping): Use it.
(compApplication): Likewise.
(bootDenotation): New.
(getBasicFFIType): Likewise.
(getFFIDatatype): Likewise.
(getBootType): Likewise.
(checkExternalEntityType): Likewise.
(checkExternalEntity): Likewise.
(removeModifiers): Likewise.
(compSignatureImport): Likewise.
* interp/vmlisp.lisp (|compileLispDefinition|): New.
* interp/boot-pkg.lisp: Import genImportDeclaration.
* boot/initial-env.lisp: Export genImportDeclaration.
* boot/ast.boot: Tidy. Accept `readwrite' modifier.
|
|
optimizable domain constructors.
(processInlineRequest): New.
* interp/define.boot (spadCompileOrSetq): Tidy.
(mutateToNothing): New.
(doIt): Use it. Add support for inline directives.
* interp/fnewmeta.lisp (PARSE-Inline): New.
* interp/metalex.lisp (KEYWORDS): Include 'inline'.
|
|
* Makefile.pamphlet (AXIOM_SRC_TARGETS): Add all-databases.
src/ChangeLog
2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>
* lisp/core.lisp.in (|%algebraSystemIsComplete|): New.
(|%basicSystemIsComplete|): Use it.
* interp/wi1.boot (setqSingle): Use maximalSuperType.
(coerceSubset): Simplify.
(compCoerce1): Tidy.
* interp/i-resolv.boot (resolveTCat): Use superType.
* interp/lisplib.boot (findConstructorSlotNumber): Use isSubset.
(sigsMatch): Likewise.
(findDomainSlotNumber): Likewise.
* interp/define.boot (compSubDomain1): Reject for complex subdomain
predicate. Support paramterized subdomains.
* interp/daase.lisp (interpOpen): Read superdomain slot.
(getdatabase): Remove adhoc hardcoded superdomain info.
Return superdomain info stored in database.
(localnrlib): Read superdomain info.
(write-interpdb): Write superdomain info.
(database): Add superdomain slot.
* interp/g-util.boot (superType): New.
(maximalSuperType): Rework. Support parameterized subdomains.
(noteSubDomainInfo): New.
(isSubDomain): Rework.
* interp/c-util.boot (isSubset): Rework.
* interp/g-opt.boot (optEQ): Remove.
* interp/g-cndata.boot (getImmediateSuperDomain): Remove.
(maximalSuperType): Move to g-util.boot.
* interp/types.boot (%Constructor): New type specifier.
(%Instantiation): Likewise.
* interp/compiler.boot (primitiveType): Don't return $NegativeInteger.
(maxSuperType): Remove.
(hasType): Use maximalSuperType.
(satisfies): New.
(coerceSubset): Use it. Simplify.
* interp/wi2.boot (smallIntegerStep): Use maximalSuperType.
* interp/sys-constants.boot ($AtVariables): New.
($NegativeInteger): Remove.
($NonPositiveInteger): Likewise.
($CategoryNames): Category is not a category.
* interp/property.lisp: Remove Subsets property settings.
* interp/i-coerce.boot (coerceSubDomain): Simplify.
(coerceImmediateSubDomain): Remove.
(getSubDomainPredicate): Simplify.
* interp/category.boot (SourceLevelSubset): Use isSubDomain.
(MachineLevelSubset): Likewise.
* interp/modemap.boot (mergeModemap): Likewise.
(isSuperDomain): Remove.
(augModemapsFromDomain): Support parameterized subdomains.
* interp/i-util.boot (isSubDomain): Move to g-util.boot.
* Makefile.pamphlet (all-databases): New target.
* interp/Makefile.pamphlet ($(AXIOMSYS)): Push
:open-axiom-algebra-system onto *FEATURES*.
* etc/Makefile.in (all-databases): New target.
|
|
Branch to improve reflection.
r12493@gauss: gdr | 2008-12-20 23:29:51 -0600
Add domain representations for constructors.
r12494@gauss: gdr | 2008-12-21 14:27:37 -0600
Consolidate constructor domains.
r12502@gauss: gdr | 2008-12-22 20:36:21 -0600
Constructors are values.
r12504@gauss: gdr | 2008-12-25 13:58:01 -0600
r12505@gauss: gdr | 2008-12-25 18:48:04 -0600
Commit ChangeLog.
|
|
Tidy compApplyModemap.
r12460@gauss: gdr | 2008-12-13 09:24:50 -0600
Tidy compMapCond.
r12461@gauss: gdr | 2008-12-13 10:24:14 -0600
Activate compViableModemap.
r12462@gauss: gdr | 2008-12-13 11:18:17 -0600
Remove pmatch and pmatchWithSl out of main compiler.
r12463@gauss: gdr | 2008-12-13 12:26:44 -0600
Tidy compApplyModemap.
r12464@gauss: gdr | 2008-12-13 16:39:28 -0600
Add compExclusiveOr.
r12465@gauss: gdr | 2008-12-13 16:54:58 -0600
.
r12466@gauss: gdr | 2008-12-14 15:01:33 -0600
Tidy compLogicalNot.
|
|
* interp/sys-constants.boot ($Field): New.
* interp/i-coerce.boot (retract2Specialization): Ignore
expressions whose types do no belong to Field.
|
|
* interp/sys-constants.boot ($InputForm): New.
|
|
* lib/cfuns-c.c (openaxiom_is_path_separator): New.
(oa_dirname): Define.
(writeablep): Use it.
* algebra/fname.spad.pamphlet (writable?$FileName): Tidy.
|
|
* interp/types.boot: Tidy.
* interp/sys-constants.boot: Define limits for builtin numeric types.
* interp/sys-os.boot: Import sys-constants.
* interp/foam_l.lisp: Import sys-constants. Align builtin numeric
types with OpenAxiom runtime's.
* interp/fortcall.boot: Tidy.
* interp/i-output.boot: Likewise.
* interp/Makefile.pamphlet (foam_l.$(FASLEXT)): Now require
sys-constants.$(FASLEXT).
* algebra/si.spad.pamphlet: Use $ShortMinimum and $ShortMaximum
for SingleInteger limits.
* algebra/sf.spad.pamphlet: Use $DoubleFloatMaximum,
$DoubleFloatMinimum for DoubleFloat limits.
* algebra/strap: Update cached Lisp translation.
|
|
*ATTRIBUTES*.
* interp/as.boot (asyFindAttrs): Adjust use.
* interp/daase.lisp (WRITE-COMPRESS): Likewise.
* interp/g-cndata.boot (attribute?): Likewise.
|
|
Update all boot files to use `namespace' instead of `)package'.
* interp/: Likewise.
|
|
|
|
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/tokens.boot: Likewise.
* boot/translator.boot: Likewise.
* boot/strap: Update Lisp translation.
* lisp/core.lisp.in: Tidy.
|
|
|
|
* interp/spaderror.lisp ($quitTag): Don't define here.
|
|
|
|
functions `parameters' and `body'.
* algebra/domain.spad.pamphlet: Rename from algebra/domain.spad.
(Category): New category.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
CATEGORY.o.
(DOMAIN.NRLIB/code.$(FASLEXT)): Remove rule.
* interp/trace.boot (transTraceItem): Use $LangSupportTypes.
* interp/sys-constants.boot ($None): New.
($Type): Likewise.
($LangSupportTypes): Likewise.
* interp/parse.boot (parseHas): Use $LangSupportTypes.
(parseHasRhs): Likewise.
* interp/i-spec2.boot (upLETtype): Use conceptualType.
(uptypeOf): Likewise.
(upwhere): Likewise.
(typeOfType): Remove.
* interp/i-spec1.boot (isDomainValuedVariable): Variables with
type Category and Type are domain valued too.
* interp/i-output.boot (output): Special case only Mode and Type.
* interp/i-funsel.boot (selectMms): Don't ignore modemaps with
category parameters.
* interp/i-coerce.boot (canCoerce1): Test for Category instead of
SubDomain Domain.
(canCoerceFrom0): Use $None and $Any.
(absolutelyCannotCoerce): Use $None.
(coerceInteractive): Use $LangSupportTypes.
(coerceInt1): Use $Any.
* interp/i-analy.boot (conceptualType): New.
(bottomUpType): Use it.
* interp/clammed.boot (isValidType): Use $LangSupportTypes.
* interp/g-cndata.boot (isNameOfType): Likewise.
* interp/category.boot (Category): Remove hacky definition.
* interp/buildom.boot ($noCategoryDomains): Domain now has a
Lisplib.
|
|
* interp/sys-utility.boot (delete): Fix thinko.
* interp/sys-globals.boot ($sourceFiles): Define here.
(INPUTSTREAM): Likewise.
* interp/i-syscmd.boot (UNDERBAR): Move to sys-globals.boot.
* interp/fname.lisp: Import "macros".
* interp/debug.lisp: Import "parsing".
Replace $PRETTYPRINT with $PrettyPrint.
(/FN): Define.
(depthAlist): Likewise.
* interp/br-search.boot (docSearch1): Fix thinko.
* interp/Makefile.pamphlet (debug.$(FASLEXT)): Depend on
parsing.$(FASLEXT).
* interp/i-output.boot (starstarcond): Remove used function.
(transcomparg): Likewise.
(MATBORCH): Define here.
(*TALLPAR): Likewise.
* interp/vmlisp.lisp (|char|): Remove duplicate definition.
|
|
(compSymbol): Use condition type view for non Union objects.
(getUniqueCaseView): New. Subroutine of compSymbol.
(compForm2): Don't infer type for flag parameter through
unique compilcation.
(checkCallingConvention): New.
(compileQuasiquote): coerce, don't convert.
(compCase1): Handle non Union type object through modemap
selection.
(maybeSpliceMode): New. Subroutine of compCase1.
Register special form compiler with their names, not pointers.
* define.boot (candidateSignatures): New.
(hasSigInTargetCategory): Use it. Tidy.
(checkAndDeclare): Use isQuasiquote.
(spadCompileorSetq): Rename non atomic parameters before calling
LISP compiler.
* g-util.boot (quasiquote): New.
(isQuasiquote): Likewise.
* i-intern.boot (flagArguments): New.
(signatureFromModemap): Likewise.
(mkAtree3): Use them. Handle functions taking flag arguments.
* i-object.boot (getFlagArgsPos): New.
* i-spec1.boot (userDefinedCase): Now prepare form and hands back
to bottomUp.
(upcase): Adjust call to userDefinedCase.
* modemap.boot (addDomain): Don't add flag domains to the
environment.
* nruncomp.boot (NRTencode): Handle flag values.
(NRTgetLocalIndex1): Likewise.
* nrunfast.boot (lazyMatch): Likewise.
(newExpandLocalTypeForm): Likewise.
* sys-constants.boot ($DummyFunctorNames): Include quasiquote
constructor.
* template.boot (NRTaddInner): Handle flag values.
|
|
* compiler.boot (compileQuasiquote): New function.
* fnewmeta.lisp (|PARSE-Enclosure|): Parse quasiquotes too.
* i-intern.boot (mkAtree3): Don't evaluate arguments to
quasiquote.
* i-spec1.boot ($specialOps): Register [||].
(up[||]): Handle quasiquotes.
* newaux.lisp: Register `[|' and `|]' as new glyphs.
* pf2sex.boot ($insideApplication): Now count the nesting level of
application forms.
($insideQuasiquote): New. Count nesting level of quasiquotes.
(pfFinishApplication): Ensure application form nesting level is
properly decreased.
(pfApplication2Sex): Use it.
(pfQuasiquotation2Sex): Transform quasiquote forms.
(pf2Sex1): Use it.
* sys-constants.boot ($Syntax): New.
|
|
($createLocalLibDb): Likewise.
* clam.boot ($hashNode): Likewise.
* comp.lisp (|$compileDontDefineFunctions|): Likewise.
* compiler.boot ($compileOnlyCertainItems): Likewise.
* database.boot ($globalExposureGroupAlist): Likewise.
* define.boot ($newCompCompare): Likewise.
* format.boot ($permitWhere): Likewise.
* g-boot.boot ($inDefLET): Likewise.
($inDefIS): Likewise.
($letGenVarCounter): Likewise.
($isGenVarCounter): Likewise.
* g-error.boot ($ReadingFile): Likewise.
(handleLispBreakLoop): Remove special case on $cclSystem.
* g-timer.boot (computeElapsedTime): Likewise.
* g-util.boot ($interpOnly): Move from setq.lisp to here.
* i-funsel.boot ($domPvar): Likewise.
* i-object.boot ($immediateDataSymbol): Likewise.
* i-output.boot ($algebraOutputStream): Likewise.
(ERROROUTSTREAM): Likewise.
(ERRORINSTREAM): Likewise.
* i-spec2.boot ($InterpreterMacroAlist): Likewise.
* i-syscmd.boot ($NonNullStream): Likewise.
($NullStream): Likewise.
($localExposureDataDefault): Likewise.
($localExposureData): Likewise.
* lisplib.boot ($functionLocations): Likewise.
* msgdb.boot ($testingSystem): Likewise.
* nlib.lisp (get-directory-list): Tidy.
* nruncomp.boot ($devaluateList): Move from setq.lisp to here.
($functorLocalParameters): Likewise.
($insideCategoryPackageIfTrue): Likewise.
($profileCompiler): Likewise.
* nrunfast.boot ($doNotCompressHashTableIfTrue): Likewise.
* nrungo.boot ($insideCompileBodyIfTrue): Likewise.
* setvars.boot ($InitialCommandSynonymAlist): Likewise.
($CommandSynonymAlist): Likewise.
(setOutputLibrary): Simplify.
* spad.lisp (|$newCompCompare|): Don't set here.
(|$compileOnlyCertainItems|): Likewise.
* sys-constants.boot ($BasicPredicates): Include SYMBOLP.
($TriangleVariableList): Move from setq.lisp to here.
($Any): Likewise.
($Boolean): Likewise.
($SingleInteger): Likewise.
($QuotientField): Likewise.
($ComplexInteger): Likewise.
($OutputForm): Likewise.
($FunctionalExpression): Likewise.
($Expression): Likewise.
($AnonymousFunction): Likewise.
* sys-globals.boot (INPUT_-LIBRARIES): Likewise.
(OUTPUT_-LIBRARY): Likewise.
($newConlist): Likewise.
($compilingInputFile): Likewise.
($minivectorNames): Likewise.
|
|
2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* initial-env.lisp.pamphlet ("BOOTTRAN"): Don't use SYSTEM package.
interp/
2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* lisplib.boot (getSlotFromDomain): Use pointer to function Undef
directly, instead of variable Undef.
* i-syscmd.boot (cd): Move from patches.lisp to here.
* g-timer.boot (printTimeIfTrue): Move from patches.lisp to here.
* patches.lisp (Undef): Remove.
($printTimeIfTrue): Move to g-timer.boot.
(cd): Move to i-syscmd.boot.
(nullstream): Remove.
(nononullstream): Likewise.
(/MAJOR-VERSION): Move to sys-constants.boot.
* setq.lisp (/MAJOR-VERSION): Remove.
lisp/
2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* core.lisp.in ("AxiomCore"): Don't use SYSTEM package.
|
|
(|$lightlightFontOn|): Likewise.
(|$highlightFontOff|): Likewise.
* patches.lisp (|$highlightAllowed|): Move to sys-globals.boot.
(|$lightlightFontOn|): Move to sys-constants.boot
(|$lightlightFontOff|): Likewise.
* setvart.boot ($setOptions): Make highlighting default.
|
|
|
|
|
|
Load explicitly.
(<<profile.clisp>>): Remove.
(<<g-cndata.clisp>>): Likewise.
(<<g-opt.clisp>>): Likewise.
(<<g-timer.clisp>>): Likewise.
(<<hypertex.clisp>>): Likewise.
(<<rulesets.clisp>>): Likewise.
(<<ht-util.clisp>>): Likewise.
(<<htsetvar.clisp>>): Likewise.
(<<ht-root.clisp>>): Likewise.
(<<htcheck.clisp>>): Likewise.
(ht-root.$(FASLEXT)): New rule.
(htcheck.$(FASLEXT)): Likewise.
(ht-util.$(FASLEXT)): Likewise.
(htsetvar.$(FASLEXT)): Likewise.
(hypertex.$(FASLEXT)): Likewise.
(profile.$(FASLEXT)): Likewise.
(rulesets.$(FASLEXT)): Likewise.
(g-opt.$(FASLEXT)): Likewise.
(g-timer.$(FASLEXT)): Likewise.
(g-util.$(FASLEXT)): Likewise.
(g-cndata.$(FASLEXT)): Likewise.
* daase.lisp.pamphlet (*attributes*): Move definition to
sys-constants.boot.
* g-cndata.boot.pamphlet: Push into package "BOOT". Fix syntax.
* g-opt.boot.pamphlet: Likewise.
(EqualBarGensym): Fix thinko.
* g-timer.boot.pamphlet: Push into package "BOOT".
* g-util.boot.pamphlet: Likewise.
* ht-root.boot.pamphlet: Likewise. Fix syntax.
* ht-util.boot.pamphlet: Push into package "BOOT".
* htcheck.boot.pamphlet: Likewise.
* htsetvar.boot.pamphlet: Likewise.
* hypertex.boot.pamphlet: Likewise. Fix syntax.
* profile.boot.pamphlet: Likewise.
* rulesets.boot.pamphlet: Likewise.
* setq.lisp.pamphlet (/VERSION): Move definition to sys-globals.boot.
* spad.lisp.pamphlet (/WSNAME): Likewise.
(|rplac|): Move to sys-macros.boot.
|
|
* Makefile.pamphlet (all-interpsys): Now depend on all-depsys.
src/interp/
2007-09-19 Gabriel Dos Reis <gdr@cs.tamu.edu>
* util.lisp.pamphlet ($directory-list): Move to sys-globals.boot.
($library-directory-list): Likewise.
* spad.lisp.pamphlet: Import "bootlex".
* preparse.lisp.pamphlet: Import "fnewmeta".
* postprop.lisp: Import "macros".
* postpar.boot.pamphlet: Import "postprop".
* nlib.lisp.pamphlet (rdefiostream): Define unconditionally.
(get-io-index-stream): Likewise.
(makedir): Likewise.
(get-directory-list): Don't use $current-diretory.
($filetype-table): Move to sys-constants.boot.
* patches.lisp.pamphlet ($current-directory): Remove.
(|cd|): Simplify implementation.
* newaux.lisp.pamphlet: Import "macros".
(|PARSE-NewKEY|): Define.
* metalex.lisp: Move various file, line, stack, character
utilities to here.
* macros.lisp.pamphlet (NREVERSE0): Move to sys-macros.lisp. Tidy.
* fnewmeta.lisp.pamphlet: Import "parsing".
* comp.lisp: Import "macros".
* def.lisp: Likewise.
(B-MDEF): Fix thinko.
* bootlex.lisp: Import "preparse", "def", and "nlib".
(BOOT-LINE-STACK): Move to metalex.lisp.
(NEXT-LINES-CLEAR): Likewise.
(NEXT-LINES-SHOW): Likewise.
(XCAPE): Likewise.
(KEYWORDS): Likewise.
* Makefile.pamphlet (${DEPSYS}): Now have all Lisp in compiled
form and load them.
* bookvol5.pamphlet ($current-directory): Remove.
|
|
export declarations. Import "boot-pkg".
* sys-macros.lisp (EQUABLE): Remove definition.
* sys-constants.boot ($true): Define as twice quoted T.
* hash.lisp.pamphlet: Push into package BOOT, VMLISP.
* ggreater.lisp: Likewise.
* nlib.lisp.pamphlet: Likewise.
* obey.lisp: Likewise.
* construc.lisp.pamphlet: Remove reference to VMLISP package.
* daase.lisp.pamphlet: Likewise.
* debug.lisp.pamphlet: Likewise.
* util.lisp.pamphlet: Likewise.
* cformat.boot: Remove hack for GCL limitation.
* scan.boot: Likewise.
* incl.boot: Likewise.
* parsing.lisp: Likewise.
* bootlex.lisp: Remove reference to VMLISP package.
* union.lisp: Likewise.
* boot-pkg.lisp: Remove hack for GCL limitation. Don't import
"vmlisp" anymore.
* bookvol5.pamphlet (vmlisp::$current-directory): Remove.
* patches.lisp.pamphlet: Likewise.
* astr.boot: Import "vmlisp" instead of "boot-pkg".
* Makefile.pamphlet (boot-pkg.$(FASLEXT)): Don't depend on
vmlisp.$(FASLEXT).
(vmlisp.$(FASLEXT)): Depend on boot=pkg.$(FASLEXT).
|
|
|
|
(tokConstruct): Move from ptrees.boot.pamphlet.
(tokType): Likewise.
(tokPart): Likewise.
(tokPosn): Likewise.
(pfAbSynOp): Likewise.
(pfAbSynOp?): Likewise.
(pfLeaf?): Likewise.
(pfLeaf): Likewise.
(pfLeafToken): Likewise.
(pfLeafPosition): Likewise.
(pfTree): Likewise.
(pfParts): Likewise.
(pfFirst): Likewise.
(pfSecond): Likewise.
* astr.boot: New. Import boot-pkg.
* sys-constants.boot (IDENTITY): Define.
* patches.lisp.pamphlet (identity): Move definition to sys-constants.
* cformat.boot: New. Import unlisp, posit. Add ugly workwound
for GCL bug.
* incl.boot: New. Import unlisp, cstream, cformat. Tweak.
Add ugly workwound for GCL bug.
(incLude1): Fix thinko
* Makefile.pamphlet (incl.$(FASLEXT)): New rule.
(cformat.$(FASLEXT)): Likewise.
(posit.$(FASLEXT)): Likewise.
(astr.$(FASLEXT)): Likewise.
(DEP): Don't include bits.lisp.
(${DEPSYS}): Explicitly load "bits" here.
|
|
* vmlisp.lisp.pamphlet: Export WRAP.
* Makefile.pamphlet (<<buildom.clisp>>): Remove.
(buildom.$(FASLEXT)): New rule, setup dependency.
* Makefile.in: Regenerate.
* buildom.boot.pamphlet: Make compilable by bootsys. Import
sys-constants.
* setq.lisp.pamphlet (|$Primitives|): Move to sys-constants.
|
|
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.
|
|
(|$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.
|
|
(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.
|