open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2007-08-29	* sys-globals.boot ($leaveLevelStack): Move from	dos-reis	1	-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 to	dos-reis	1	-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-reis	1	-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-reis	1	-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.