Age | Commit message (Collapse) | Author | Files | Lines |
|
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/sys-globals.boot: Likewise.
* interp/wi1.boot ($frontier): Removed, as unused.
* interp/wi2.boot ($attributesName): Likewise.
($goGetList): Likewise.
($NRTaddList): Likewise.
($NRTloadTimeAlist): Likewise.
($lisplibMissingFunctions): Likewise.
($alternateViewList): Likewise.
|
|
(isPackageType): Likewise.
* interp/lisplib.boot (getSlotFromDomain): Remove.
* interp/macros.lisp (|saySpadMsg|): Remove.
* interp/vmlisp.lisp (qsetq): Remove.
(STATEP, FUNARGP, PAPPP): Likewise.
(LISTOFQUOTES, LISTOFFREES): Likewise.
|
|
(initializeGlobalState): Set it and honor it.
* interp/daase.lisp (initial-getdatabase): Be talkative only when
asked.
|
|
* interp/sys-driver.boot (AxiomCore::%sysInit): Have ECL quiet.
(initializeGlobalState): Initialize new world states.
* interp/define.boot (compDefine): Tidy.
(compDefineCategory2): Explicitly initialize $TOP_LEVEL and
$definition.
* interp/daase.lisp (|fillDatabasesInCore|): Use
$buildingSystemAlgebra.
* interp/compiler.boot (compMakeDeclaration): Explicitly
initialize $insideExpressionIfTrue.
* boot/translator.boot (AxiomCore::%sysInit): Supper GCL and ECL
compiler notes, but ask for warning.
|
|
* interp/sys-driver.boot (initializeGlobalState): Record value for
--system-algebra.
* interp/sys-globals.boot ($buildingSystemAlgebra): Declare.
* interp/compiler.boot (compileSpad2Cmd): Don't build local
database if compiling system algebra.
* interp/i-syscmd.boot (compileAsharpCmd1): Likewise.
* algebra/Makefile.pamphlet (%.NRLIB/code.$(FASLEXT)): Use
--system-algebra.
(SPADPRSR.NRLIB/code.$(FASLEXT)): Likewise.
(PARSER.NRLIB/code.$(FASLEXT)): Likewise.
|
|
($minivectorNames): Likewise.
* interp/i-map.boot (compileCoerceMap): Don't set $minivectorNames
and $minivectorCode.
* interp/i-spec1.boot (compileADEFBody): Likewise.
* interp/i-toplev.boot (processInteractive): Likewise.
* interp/nrungo.boot (NRTgetMinivectorIndex): Likewise.
* interp/slam.boot (reportFunctionCompilation): Likewise.
|
|
string2BootTree.
* boot/translator.boot (BOOTTOCL): Tidy.
(BOOTTOCLC): Likewise.
(BOOTTOCLLINES): Likewise.
(BOOTTOCLCLINES): Likewise.
(string2BootTree): Define.
(translateToplevelExpression): Tidy.
(translateToplevel): Handle atoms. Tidy.
(shoePCompileTrees): Don't use bStreamPackageNull.
* interp/boot-pkg.lisp: Import $interactiveMode and string2BootTree.
* interp/util.lisp (string2BootTree): Remove.
(OLD-BOOT::BOOT): Likewise.
* interp/bootlex.lisp (boot): Likewise.
(boot-parse-1): Likewise.
* interp/compiler.boot (compileNot): Fix thinko.
* interp/sys-globals.boot ($InteractiveMode): Don't define here.
|
|
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/define.boot (compDefineFunctor1): Use setShellEntry.
(canCacheLocalDomain): Likewise.
(compilerCases): Likewise.
(doIt): Likewise.
* interp/functor.boot (setVector0): Likewise.
(setVector3): Likewise.
(setVector4part4): Likewise.
(setVector5): Likewise.
(mkVectorWithDeferral): Likewise.
(DescendCodeAdd1): Likewise.
(DescendCode): Likewise.
(ConsantCreator): Likewise.
(SetFunctionSlots): Likewise.
(CheckVector): Likewise.
* interp/g-opt.boot (optCall): Use getShellEntry.
(optSpecialCall): Likewise.
* interp/i-util.boot (devaluate): Likewise.
* interp/nruncomp.boot (buildFunctor): Use setShellEntry.
(NRTsetVector4a): Likewise.
(NRTputInLocalReferences): Use getShellEntry.
(NRTputInHead): Likewise.
* interp/nrunopt.boot (augmentPredVector): Use setShellEntry.
* interp/nruntime.boot (getShellEntry): New.
(setShellEntry): Likewise.
* interp/package.boot (processPackage): Use getShellEntry.
(PackageDescendCode): Use setShellEntry.
* interp/sys-globals.boot ($QuickCode): Remove.
* interp/template.boot (NRTdescendCodeTran): Use setShellEntry.
* interp/types.boot (%Void): New.
(%Shell): New.
* interp/wi2.boot (compDefineFunctor1): Use setShellEntry.
|
|
Consistently use $InputStream and $OutputStream for I/O.
* interp/c-util.boot: Likewise.
* interp/comp.lisp: Likewise.
* interp/compat.boot: Likewise.
* interp/debug.lisp: Likewise.
* interp/def.lisp: Likewise.
* interp/g-error.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/int-top.boot: Likewise.
* interp/intfile.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/macros.lisp: Likewise.
* interp/metalex.lisp: Likewise.
* interp/msgdb.boot: Likewise.
* interp/patches.lisp: Likewise.
* interp/preparse.lisp: Likewise.
* interp/server.boot: Likewise.
* interp/spad-parser.boot: Likewise.
* interp/spad.lisp: Likewise.
* interp/sys-globals.boot: Likewise.
* interp/sys-macros.lisp: Likewise.
* interp/sys-os.boot: Likewise.
* interp/unlisp.lisp: Likewise.
* interp/vmlisp.lisp: Likewise.
* interp/Makefile.pamphlet (bootlex.$(FASLEXT)): Require
sys-globals.$(FASLEXT) too.
(vmlisp.$(FASLEXT)): Likewise.
|
|
(BPINAME): Tidy.
* interp/slam.boot (reportFunctionCompilation): Tidy.
* interp/daase.lisp: Don't use anachronistic SET.
* interp/debug.lisp: Likewise.
* interp/br-saturn.boot: Substitute GENSYM for GENTEMP.
* interp/fortcall.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/server.boot: Likewise.
* interp/buildom.boot (UnionEqual): Tidy.
(coerceUn2E): Likewise.
* interp/boot-pkg.lisp (define-function): Define here.
* interp/Makefile.pamphlet (diagnostics.$(FASLEXT)): Tidy.
(hash.$(FASLEXT)): Likewise.
(vmlisp.$(FASLEXT)): Likewise.
* interp/diagnostics.boot: Import "types".
* interp/hash.lisp: Import "types" instead of "vmlisp".
* interp/i-output.boot ($algebraOutput): Move to sys-globals.boot.
(ERROROUTSTREAM): Likewise.
(ERRORINSTREAM): Likewise.
* interp/macros.lisp ($algebraOutputStream): Don't set here.
* interp/patches.lisp ($algebraOutputStream): Don't set here.
($texOutputStream): Likewise.
($fortranOutputStream): Likewise.
($texOutputStream): Likewise.
($formulaOutputStream): Likewise.
|
|
|
|
(MAKE-OUTSTREAM): Supersede existing files.
* interp/template.boot (makeTemplate): Use newDomainShell instead
of GETREFV.
(extendVectorSize): Likewise.
(mkSigPredVectors): Likewise.
(list2LongerVec): Likewise.
(measure): Remove.
(measureCommon): Likewise.
* interp/sys-utility.boot (loadNativeModule): New.
* interp/sys-os.boot: Import "cfuns" and "sockio".
(runProgram): New.
* interp/sys-globals.boot (/SOURCEFILES): Define here.
(/SPACELIST): Likewise.
* interp/sys-driver.boot ($OpenAxiomCoreModuleLoaded): New global
variable.
(AxiomCore::%sysInit): Load libopen-axiom-core if necessary.
($defaultMsgDatabaseName): Define here.
* interp/spad.lisp (|New,ENTRY,1|): Tidy.
* interp/sockio.lisp: Move import declarations to sys-os.boot.
Remove unused codes.
* interp/server.boot (serverReadLine): Use coreQuit instead of BYE.
* interp/pspad1.boot (formatMDEF): Tidy.
* interp/pspad2.boot (formatIf1): Tidy.
* interp/patches.lisp: Import "sys-driver". Remove
$CURRENT-DIRECTORY.
* interp/nruncomp.boot (buildFunctor): Use newDomainShell instead
of GETREFV.
* interp/nrunopt.boot (makeDomainTemplate): Likewise.
* interp/package.boot (processFunctorOrPackage): Likewise.
* interp/nlib.lisp (rdefiostream): Tidy.
* interp/monitor.lisp (monitor-autoload): Define when GCL.
* interp/interop.boot (oldAxiomCategoryDevaluate): Tidy.
* interp/i-toplev.boot (start): Don't set $CURRENT-DIRECTORY.
* interp/i-syscmd.boot (close): Use newDomainShell.
(leaveScratchpad): Use coreQuit instead of BYE.
(compileAsharpArchiveCmd): Use GET-CURRENT-DIRECTORY.
* interp/g-util.boot (newDomainShell): Define.
* interp/functor.boot (NewbFVectorCopy): Use newDomainShell.
* interp/daase.lisp (asharp): Use runProgram.
* interp/cfuns.lisp: Remove unused codes.
(directoryp): Move import declaration to sys-os.bot.
(writeablep): Likewise.
* interp/buildom.boot (Record0): Use newDomainShell instead of
GETREFV.
(coerceRe2E): Likewise.
(Union): Likewise.
(Mapping): Likewise.
(Enumeration): Likewise.
* interp/category.boot (mkCategory): Likewise.
* interp/Makefile.pamphlet (patches.$(FASLEXT)): Require
sys-driver.$(FASLEXT).
(sys-os.$(FASLEXT)): Require cfuns.$(FASLEXT), sockio.$(FASLEXT).
* algebra/view2D.spad.pamphlet: Use $ViewportServer instead of
VIEWPORTSERVER. Use sockSendInt instead of SOCK-SEND-INT.
Use sockSendFloat instead of SEND-SEND-FLOAT. Use sockSendString
instead of SOCK-SEND-STRING. Use sockGetInt instead of
SOCK-GET-INT. Use sockGetFloat instead of SOCK-SEND-FLOAT.
* algebra/view3D.spad.pamphlet: Likewise.
* interp/util.lisp (fe): Remove.
(fc): Likewise.
(interp-make-directory): Simplify.
(OLD-BOOT::BOOT): Don't declare *PRINT-PRETTY* and *PRINT-LENGTH*
special.
|
|
(char_type): Likewise.
(int_type): Likewise.
(float_type): Likewise.
(double_type): Likewise.
(string_type): Likewise.
(pointer_type): Likewise.
(edit): Use them.
* interp/wi1.boot (ppFull): Tidy. Don't set *PRINT-DEPTH*.
* interp/vmlisp.lisp (gcmsg): Define when SBCL.
* interp/template.boot (measureCommon): Fix thinko.
* interp/sys-utility.boot: Move basic type definition from
g-util.boot to here.
* interp/g-util.boot (augProplistOf): Fix signature declaration.
* interp/daase.lisp: Tidy.
* interp/c-util.boot (displayComp): Remove assignment to
$X,$M,$F.
* interp/boot-pkg.lisp: Tidy.
* interp/axext_l.lisp: Likewise.
* interp/Makefile.pamphlet (makeint.lisp): Call GBC only when GCL.
($(axiom_targetdir)/algebra/exposed.$(FASLEXT)): Tidy.
(patches.$(FASLEXT)): Require debug.$(FASLEXT), g-timer.$(FASLEXT).
(wi2.$(FASLEXT)): Require define.$(FASLEXT).
(spad.$(FASLEXT)): Require postpar.$(FASLEXT), debug.$(FASLEXT).
* boot/translator.boot (genImportDeclaration): Include translation
for SBCL.
* boot/parser.boot (bpMapping): Tidy.
* boot/ast.boot (coreSymbol): New.
(bootSymbol): Likewise.
(bootSymbol): Likewise.
* lisp/core.lisp.in (|$NativeTypeTable|): New. Export.
* algebra/Makefile.pamphlet (COMPILE_LISP): Use $(INTERPSYS).
* algebra/exposed.lsp.pamphlet: Tidy.
|
|
* 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.
|
|
* interp/int-top.boot (intloopReadConsole): Remove code for
$DALYMODE.
* interp/define.boot ($NRTopt): Define.
($suffix): Likewise.
* interp/debug.lisp (S-SPADKEY): Define.
* interp/Makefile.pamphlet (OBJS): Don't include setq.$(FASLEXT).
(setq.$(FASLEXT)): Remove rule.
* interp/setq.lisp: Remove.
|
|
($insideCanCoerceFrom): Define.
* interp/setq.lisp: Remove more unused variables.
* interp/patches.lisp (/RF-1): Tidy.
* interp/server.boot (parseAndInterpret): Likewise.
* interp/packtran.boot ($useNewParser): Remove.
* interp/ht-util.boot (parseAndEval): Tidy.
* interp/clam.boot ($failed): Define.
* interp/g-timer.boot ($printStorageIfTrue): Likewise.
* interp/hashcode.boot ($DomainsWithoutLisplibs): Likewise.
* interp/i-coerce.boot ($useCoerceOrCroak): Likewise.
* interp/i-analy.boot ($univariateDomains): Likewise.
($multivariateDomains): Likewise.
* interp/i-object.boot ($useIntegerSubdomain): Likewise.
* interp/i-syscmd.boot ($existingFiles): Likewise.
* interp/newfort.boot ($fortranArrayStartingIndex): Likewise.
* interp/setvars.boot (resetWorkspaceVariables): Don't reset
$dependeeClosureAlist.
|
|
* interp/c-util.boot (dollarIfRepHack): New.
(RepIfRepHack): Likewise.
(substituteDollarIfRepHack): Likewise.
(isSubset): Dollar is subset of Rep only in old semantics.
* interp/buildom.boot (mkMappingFunList): Substitute dollar for
Rep only when appropriate.
(mkRecordFunList): Likewise.
(mkNewUnionFunList): Likewise.
(mkUnionFunList): Likewise.
* interp/compiler.boot (compNoStacking): Likewise.
(compNoStacking1): Likewise.
(getConstructorFormOfMode): Likewise.
(isUnionMode): Likewise.
(coerce): Likewise.
(coerceSubset): Likewise.
* interp/modemap.boot (addModemap1): Likewise.
(isSuperDomain): Likewise.
* interp/define.boot (maybeInsertViewMorphisms): New.
(compCapsule): Use it.
(compCategoryItem): Don't allow exports of rep and per.
* interp/sys-globals.boot ($useRepresentationHack): New.
|
|
* interp/i-map.boot: Likewise. Allocate fresh cell for $env.
* interp/i-spec1.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/sys-globals.boot: Likewise.
* interp/nruncomp.boot: Encode flag types too.
* interp/template.boot: Likewise.
* share/algebra: Update databases.
|
|
|
|
value for empty environments.
* interp/database.boot (rebuildCDT): Likewise.
* interp/i-map.boot (addDefMap): Likewise.
(rewriteMap0): Likewise.
(rewriteMap1): Likewise.
(compileDeclaredMap): Likewise.
(analyzeUndeclaredMap): Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-syscmd.boot (reportOperations): Likewise.
* interp/i-toplev.boot (interpret): Likewise.
* interp/lisplib.boot (loadLib): Likewise.
(loadLibNoUpdate): Likewise.
* interp/setvars.boot (resetWorkspaceVariables): Likewise.
* interp/spad.lisp ($e): Move definition to sys-globals.boot.
($env): Likewise.
* interp/sys-globals.boot ($e): Define here.
($env): Likewise.
* algebra/any.spad.pamphlet (ObjectProperty): New.
(Binding): Likewise.
(Contour): Likewise.
(Scope): Likewise.
(Environment): Likewise.
* algebra/exposed.lsp.pamphlet: Expose ObjectProperty, Binding,
Contour, Scope, and Environment.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
OBJPROP.o.
(axiom_algebra_layer_1): Include BINDING.o
(axiom_algebra_layer_2): Include CONTOUR.o
(axiom_algebra_layer_3): Include SCOPE.o
(axiom_algebra_layer_4): Include ENV.o
* share/algebra: Update database.
|
|
|
|
|
|
($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.
|
|
(i-syscmd.$(FASLEXT)): Likewise.
(i-spec2.$(FASLEXT)): Likewise.
(i-spec1.$(FASLEXT)): Likewise.
(i-funsel.$(FASLEXT)): Likewise.
(i-map.$(FASLEXT)): Likewise.
(i-eval.$(FASLEXT)): Likewise.
(i-coerfn.$(FASLEXT)): Likewise.
(i-coerce.$(FASLEXT)): Likewise.
(i-resolv.$(FASLEXT)): Likewise.
(i-analy.$(FASLEXT)): Likewise.
(i-code.$(FASLEXT)): Likewise.
(i-intern.$(FASLEXT)): Likewise.
(<<i-analy.clisp>>): Remove.
(<<i-code.clisp>>): Likewise.
(<<i-coerce.clisp>>): Likewise.
(<<i-coerfn.clisp>>): Likewise.
(<<i-eval.clisp>>): Likewise.
(<<i-funsel.clisp>>): Likewise.
(<<i-intern.clisp>>): Likewise.
(<<i-map.clisp>>): Likewise.
(<<i-resolv.clisp>>): Likewise.
(<<i-spec1.clisp>>): Likewise.
(<<i-spec2.clisp>>): Likewise.
(<<i-syscmd.clisp>>): Likewise.
(<<i-toplev.clisp>>): Likewise.
(<<i-util.clisp>>): Likewise.
* apply.boot (compFormWithModemap): Fix syntax.
* i-analy.boot.pamphlet: Push into package "BOOT".
* i-code.boot.pamphlet: Likewise.
* i-coerce.boot.pamphlet: Likewise.
* i-coerfn.boot.pamphlet: Likewise.
* i-eval.boot.pamphlet: Likewise.
* i-funsel.boot.pamphlet: Likewise.
* i-intern.boot.pamphlet: Likewise.
* i-map.boot.pamphlet: Likewise.
* i-resolv.boot.pamphlet: Likewise.
* i-spec1.boot.pamphlet: Likewise.
* i-spec2.boot.pamphlet: Likewise.
* i-syscmd.bot.pamphlet: Likewise.
* i-toplev.boot.pamphlet: Likewise.
* i-util.boot.pamphlet: Likewise.
|
|
(modemap.$(FASLEXT)): Likewise.
(info.$(FASLEXT)): Likewise.
(msgdb.$(FASLEXT)): Likewise.
(<<info.clisp>>): Remove.
(<<iterator.clisp>>): Likewise.
(<<modemap.clisp>>): Likewise.
(<<msgdb.clisp>>): Likewise.
* c-util.boot (intersectionContour): Change setIntersection to
intersection. Change SetUnion to union.
* database.boot (insertModemap): Move to modemap.boot.pamphlet.
* i-util.boot.pamphlet (addModemap): Likewise.
* info.boot.pamphlet: Push into package "BOOT". Fix syntax.
* iterator.boot.pamphlet: Push into package "BOOT".
* modemap.boot.pamphlet: Likewise.
* msgdb.boot.pamphlet: Push into package "BOOT". Fix syntax.
* sys-globals.boot (*BUILD-VERSION*): Define.
(*YEARWEEK*): Likewise.
|
|
(<<define.clisp>>): Remove.
* c-util.boot (CONTINUE): Comment out.
* define.boot.pamphlet: Push into package "BOOT". Fix syntax.
* i-intern.boot.pamphlet (put): Move to g-util.boot
(get): Likewise.
(get0): Likewise.
(get1): Likewise.
(get2): Likewise.
* setq.lisp (/EDITFILE): Don't set here. Define it in
sys-globals.boot.
(NRTPARSE): Don't set here. Define in define.boot.
|
|
(simpbool.$(FASLEXT)): Likewise.
(<<cattable.clisp>>): Remove.
(<<simpbool.clisp>>): Likewise.
* cattable.boot.pamphlet: Push into package "BOOT". Fix syntax.
* simpbool.boot: Likewise.
|
|
* clammed.boot.pamphlet (coerceConvertMmSelection): Merge
modification in late xrun.boot.
* i-coerce.boot.pamphlet (equalOne): Likewise.
(equalZero): Likewise.
(algEqual): Likewise.
(coerceByFunction): Likewise.
* i-eval.boot.pamphlet (evalFrom): Likewise.
(findFunctionInDomain): Likewise.
(findFunctionInDomain1): Likewise.
(findFunctionInCategory): Likewise.
* nrunfast.boot.pamphlet (replaceGoGetSlot): Likewise.
(lazyMatchArg2): Likewise.
(newExpandTypeSlot): Likewise.
(newExpandLocalTypeForm): Likewise.
(newExpandLocalTypeArgs): Likewise.
(sigDomainVal): Likewise.
* nrungo.boot.pamphlet (lazyCompareSigEqual): Likewise.
* nrunopt.boot.pamphlet (NRTmakeCategoryAlist): Likewise.
* sys-globals.boot ($noSubsumption): Likewise.
* template.boot (evalSlotDomain): Likewise.
* xrun.boot: Remove.
|
|
|
|
g-boot.$(FASLEXT), c-util.$(FASLEXT), clam.$(FASLEXT),
slam.$(FASLEXT).
(slam.$(FASLEXT)): New rule.
(clam.$(FASLEXT)): Likewise.
(g-boot.$(FASLEXT)): Likewise.
(g-error.$(FASLEXT)): Likewise.
(c-util.$(FASLEXT)): Likewise.
(<<c-util.lisp (OUT from IN)>>): Remove.
(<<c-util.clisp>>): Likewise.
* c-util.boot.pamphlet: Remove cached Lisp translation.
Push into package "BOOT". Fix syntax. Remove unused functions.
* clam.boot.pamphlet: Push into package "BOOT". Fix syntax.
* g-error.boot.package: Likewise.
* g-boot.boot.pamphlet: Push into package "BOOT".
* slam.boot.pamphlet: Likewise.
* sys-global.boot (CHR): Define.
(TOK): Likewise.
|
|
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.
|
|
($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.
|