aboutsummaryrefslogtreecommitdiff
path: root/src/interp/sys-constants.boot
AgeCommit message (Collapse)AuthorFilesLines
2009-01-032009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-11/+6
* 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.
2008-12-26 r12485@gauss: gdr | 2008-12-17 16:26:21 -0600dos-reis1-4/+10
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.
2008-12-14 r12459@gauss: gdr | 2008-12-12 18:18:31 -0600dos-reis1-0/+4
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.
2008-10-17 Fix AW/271dos-reis1-0/+4
* interp/sys-constants.boot ($Field): New. * interp/i-coerce.boot (retract2Specialization): Ignore expressions whose types do no belong to Field.
2008-10-14 * interp/i-spec2.boot (upQUOTE): Quoted forms belong to InputForm.dos-reis1-0/+4
* interp/sys-constants.boot ($InputForm): New.
2008-09-20 * include/cfuns.h (oa_dirname): Declare.dos-reis1-0/+3
* lib/cfuns-c.c (openaxiom_is_path_separator): New. (oa_dirname): Define. (writeablep): Use it. * algebra/fname.spad.pamphlet (writable?$FileName): Tidy.
2008-09-07 Ensure SingleFloat is 32-bit, DoubleFloat 64-bit.dos-reis1-0/+49
* 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.
2008-05-17 * interp/sys-constants.boot ($BuiltinAttributes): Rename fromdos-reis1-1/+1
*ATTRIBUTES*. * interp/as.boot (asyFindAttrs): Adjust use. * interp/daase.lisp (WRITE-COMPRESS): Likewise. * interp/g-cndata.boot (attribute?): Likewise.
2008-05-08 * boot/translator.boot (bpOutItem): Handle namespace declaration.dos-reis1-1/+1
Update all boot files to use `namespace' instead of `)package'. * interp/: Likewise.
2008-05-01 * interp/sockio.lisp: Remove.dos-reis1-0/+29
2008-04-23 * boot/ast.boot: Tidy.dos-reis1-1/+1
* 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.
2008-04-13Various cleanups.dos-reis1-1/+1
2008-04-07 * interp/sys-constants.boot ($quitTag): Define here.dos-reis1-0/+10
* interp/spaderror.lisp ($quitTag): Don't define here.
2008-03-24Add support for SBCL and CLispdos-reis1-30/+11
2008-02-19 * algebra/variable.spad.pamphlet (AnonymousFunction): Add newdos-reis1-0/+11
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.
2008-02-16 * interp/unlisp.lisp (|CatchAsCan|): Tidy.dos-reis1-1/+4
* 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.
2007-12-12 * compiler.boot (comp3): Use isQuasiquote.dos-reis1-1/+1
(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.
2007-12-08 Add support for quasiquotation.dos-reis1-0/+4
* 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.
2007-12-08 * bc-util.boot ($newConstructorList): Move from setq.lisp to here.dos-reis1-2/+34
($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-07boot/dos-reis1-0/+5
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.
2007-12-05 * macros.lisp (|$highlightAllowed|): Remove.dos-reis1-1/+8
(|$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.
2007-10-15remove more pamphlets from interp/dos-reis1-2/+2
2007-10-14more work toward removing depsysdos-reis1-0/+3
2007-10-12 * Makefile.pamphlet (${DEPSYS}): Depend on g-util.$(FASLEXT).dos-reis1-0/+10
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.
2007-09-192007-09-19 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+24
* 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.
2007-09-14 * vmlisp.lisp.pamphlet: Don't define package VMLISP. Removedos-reis1-1/+1
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).
2007-09-13(no commit message)dos-reis1-4/+7
2007-09-12 * posit.boot: New. Import sys-macros, astr.dos-reis1-0/+3
(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.
2007-09-10 * sys-macros.lisp: Add ugly work-around about infamous GCL bug.dos-reis1-0/+5
* 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.
2007-08-29 * sys-globals.boot ($leaveLevelStack): Move fromdos-reis1-0/+6
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.
2007-08-27 * bootfuns.lisp.pamphlet (|$forceDatabaseUpdate|): Move todos-reis1-0/+7
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.
2007-08-26 * bootfuns.lisp.pamphlet (|$constructorsNotInDatabase|): Remove.dos-reis1-0/+3
(|$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.
2007-08-21 * g-error.boot.pamphlet: Import "diagnostics.dos-reis1-0/+519
(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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-06 14:14:51 +0000