Age | Commit message (Collapse) | Author | Files | Lines |
|
(initializeGlobalState): Tidy.
(executeSpadScript): Don't display start up messages.
(compileSpadLibrary): Likewise.
(buildDatabasesHandler): Likewise.
(systemMain): Initialize global states.
* interp/nrunfast.boot: Defin $NRTvec, $monitorNewWorld.
* interp/daase.lisp (|fillDatabasesInCore|): Rename from
RESETHASHTABLES.
(|closeAllDatabaseStreams|): Rename from closeAllDatabases
* interp/util.lisp (build-interpsys): Initialize macro table.
* interp/htcheck.boot: Don't initialize macro table here.
|
|
pathToDatabase.
(|closeAllDatabases|): New. Split from RESETHASHTABLES.
* interp/util.lisp (build-interpsys): Call it here.
|
|
(%.$(LNKEXT) %.$(FASLEXT)): Likewise.
|
|
(compDefineFunctor1): Likewise.
* interp/wi1.boot (compDefineCategory2): Likewise.
(compDefineFunctor1): Likewise.
|
|
(|link|): Use prologue for all systems.
* interp/sys-driver.boot (systemMain): New. Break from restart().
(restart): Tidy.
* interp/boot-pkg.lisp: Don't push :OPEN-AXIOM-BOOT-COMPLETE.
|
|
* lisp/Makefile.in (edit): Update.
* interp/daase.lisp: Don't load initial databases when
--system-algebra.
* interp/Makefile.pamphlet (${SAVESYS}): Build with --system-algebra.
|
|
* interp/util.lisp (*BIN-TYPE*): Remove. Use $faslType throughout.
* interp/daase.lisp (get-current-directory): Tidy conditional
definition.
|
|
* 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.
|
|
(interpsys_modules): Remove.
(IN_modules): Likewise.
(AS_modules): Likewise.
(makeint.lisp): Simplify.
(makeint.$(LNKEXT)): New make rule.
(${SAVESYS}): Tidy.
(${AXIOMSYS}): Likewise.
* interp/util.lisp (build-interpsys): Lose first parameter. Tidy.
|
|
|
|
Install it as handler for --build-databases.
* etc/Makefile.in ($(openaxiom_databases)): Adjust.
|
|
|
|
|
|
twice.
(ASCOMP): Don't include here.
|
|
(|spadHash|): Likewise.
(|$internalHistoryTable|): Don't define here.
(|isBpiOrLambda|): Remove.
(|libraryFileLists|): Likewise.
(|normalizeArgFileName|): Likewise.
(save-system) [LUCID]: Likewise.
(|undoINITIALIZE|): Likewise.
(|isLowerCaseLetter|): Don't define here.
(|isUpperCaseLetter|): Likewise.
(|isLetter|): Likewise.
(printCopyright): Remove.
(user-homedir-pathname): Likewise.
(BUMPCOMPERRORCOUNT): Likewise.
(|cpCms|): Likewise.
(|normalizeTimeAndStringify|): Likewise.
(whocalled): Likewise.
(|compressHashTable|): Likewise.
(SETLETPRINTFLAG): Don't define here.
(RESTART0): Move to sys-driver.boot
* interp/g-util.boot (charRangeTest): Remove.
|
|
|
|
CREATE-INITIALIZERS.
|
|
savesystem. Remove.
|
|
|
|
* interp/Makefile.pamphlet (OBJS): Don't include obey.$(FASLEXT).
* interp/br-data.boot: Replace OBEY with runCommand.
* interp/br-saturn.boot: Likewise.
* interp/br-search.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/compat.boot: Likewise.
* interp/debug.lisp: Likewise.
* interp/g-util.boot: Likewise.
* interp/ht-root.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/patches.lisp: Likewise.
* interp/spad.lisp: Likewise.
* interp/util.lisp: Likewise.
* interp/vmlisp.lisp: Likewise.
|
|
|
|
* interp/sys-driver.boot (SET-RESTART-HOOK): Remove.
|
|
* interp/i-spec1.boot (upDeclare): Fields are not declarations.
* interp/i-map.boot (getUserIdentifiersIn): Ignore field names.
* testsuite/interpreter/aw-422.input: New.
|
|
(pfType2SexOrNil): New.
(pfDoc2SexOrNil): Likewise.
(pfWith2Sex): Likewise.
(pfAdd2Sex): Likewise.
(pfWDeclare2Sex): Likewise.
(pfAttribute2Sex): Likewise.
(pfWIf2Sex): Likewise.
(pfExport2Sex): Likewise.
(pfInline2Sex): Likewise.
(pfImport2Sex): Likewise.
(pfQualType2Sex): Likewise.
* interp/ptrees.boot (pf0InlineItems): New.
* interp/i-spec2.boot (up%Import): New.
(sorry): Likewise.
(up%Export): Likewise.
(up%Inline): Likewise.
(up%With): Likewise.
(up%Add): Likewise.
* interp/i-intern.boot (mkAtree3): Handle %Inline, %With, %Add,
and %Export.
* interp/i-spec1.boot ($specialOps): Adjust.
* doc/msgs/s2-us.msgs (S2IP0006): New.
|
|
* sman/sman.c (process_arguments): Use it.
(process_arguments): Likewise.
|
|
* interp/c-util.boot: Likewise.
* interp/comp.lisp: Likewise.
* interp/compiler.boot: Likewise.
* interp/cparse.boot: Likewise.
* interp/def.lisp: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/i-eval.boot: Likewise.
* interp/i-intern.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/iterator.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/newaux.lisp: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunopt.boot: Likewise.
* interp/package.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/property.lisp: Likewise.
* interp/pspad1.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/spad.lisp: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
|
|
(pfMLambda2Sex): Likewise.
(pf2Sex1): Use them.
* interp/i-spec2.boot ($VoidValueObject): New.
($VoidCodeObject): Likewise.
(setValueToVoid): Likewise.
(setCodeToVoid): Likewise.
(upDEF): Call setValueToVoid.
(upfree): Call setCodeToVoid
(uplocal): Likewise.
(interpIF): Call setValueToVoid.
(up%Macro): New.
(up%MLambda): Likewise.
* interp/i-spec1.boot ($specialOps): Add %Macro and %MLambda.
* interp/macex.boot (macMacro): Really return the original macro
as the documentation says.
|
|
"=>", and "<=" expressions.
|
|
* interp/Makefile.pamphlet (OCOBJS): Remove apply.$(OBJEXT).
|
|
(|$useDynamicLink|): Likewise.
(|$effectiveFaslType|): Hold extension of linkable FASL.
(|$NativeModuleExt|): Tidy.
(|$CoreLibName|): New.
(|$ExtraRuntimeLibraries|): Likewise.
(extra-runtime-libs): Likewise.
(complete-fasl-list-for-link): Likewise.
(|link|) [ECL]: Link against system libraries.
(|compileLispFile|): Tidy.
(begin-compile-time): New.
(end-compile-time): Likewise.
(compile-time-p): Likewise.
(import-module): Use it.
* lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Use oa_c_runtime_extra.
* lib/Makefile.in (oa_installed_corelib): New.
* boot/initial-env.lisp: Don't export systemRootDirectory and
systemLibraryDirectory from here.
* boot/translator.boot (systemRootDirectory): Move to lisp/core.lisp.
(systemLibraryDirectory): Likewise.
(loadSystemRuntimeCore): Do nothing for GCL and ECL.
* interp/boot-pkg.lisp: Inform that Boot system is compleye.
|
|
|
|
|
|
(npAdd): Commit to parsing upon `add'.
(npDef): Tell npDefTail to look for '=='.
(npMdef): Accept argument to indicate '==' or '==>' forms.
(npSingleRule): A Rule is given by '=='.
(npDefTail): Take the kind of definition as a parameter.
(npDefinitionItem): Macro definitions are definitions.
(npMDEFinition): Remove.
(npMDEF): Hand off to npMdef to parse macro definitions.
(npMacro): Macros introduced by `macro' keyword uses '=='.
|
|
therefore a statement.
|
|
* interp/vmlisp.lisp (EMBED): Evaluate lambda forms to FUNCTIOn type.
* interp/trace.boot (transTraceItem): Fix thinko.
(spadTrace): Use assoc, not ASSOC.
(addTraceItem): Test for domain objects before constructors.
|
|
* interp/i-syscmd.boot (cd): Convert new directory name
to PATHNAME type before setting as default.
|
|
($npPCff): Likewise.
(npPPff, npPCff): Take an argument.
(npPPf): Likewise.
(npPPg, npPCg): Likewise.
(npPP, npPC): Pass around a suspension of the argument.
|
|
during build. Also use 'cp -p' instead of $(INSTALL).
* algebra/Makefile.pamphlet: Likewise.
* graph/Makefile.in: Likewise.
* boot/Makefile.in: Likewise.
* hyper/Makefile.in: Likewise.
* input/Makefile.pamphlet: Likewise.
* interp/Makefile.pamphlet: Likewise.
* lib/Makefile.in: Likewise.
* lisp/Makefile.in: Likewise.
* share/Makefile.in: Likewise.
|
|
throughout.
|
|
|
|
($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.
|
|
signature % -> %.
* interp/br-con.boot: Use "~=" for inequality.
|
|
* interp/i-analy.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-intern.boot: Likewise.
* interp/i-resolv.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/nrungo.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/wi1.boot: Likewise.
|
|
(sayBrightly1): Likewise.
* interp/msgdb.boot (sayNewLine): Take two defauled arguments.
(sayString): Take a second defaulted arguments.
(spadStartUpMsgs): Tidy.
(brightPrint): Likewise.
(brightPrint0): Likewise.
(brightPrint0AsTeX): Likewise.
(brightPrint1): Likewise.
(brightPrintHighlight): Likewise.
(brightPrintHighlightAsTeX): Likewise.
(brightPrintCenter): Likewise.
(brightPrintCenterAsTeX): Likewise.
(brightPrintRightJustify): Likewise.
* interp/i-output.boot (mathprint): Take a second defaulted argument.
* boot/ast.boot (%Assignment): Rename from Assignment.
|
|
(BRIGHTPRINT): Likewise.
* interp/macros.lisp (sayBrightly1): Use brightPrint0 and brightPrint.
(sayBrightlyNT1): Likewise.
|
|
(getConstructorMode): Likewise.
(isConstructorForm): Likewise.
|
|
* interp/scan.boot: Tidy.
* interp/ptrees.boot: Define AST for type schemes.
* interp/cparse.boot (npType): Parse type schemes.
(npQuantifierVariable): New.
(npADD): Accept only monotypes.
* interp/pf2sex.boot (pf2Sex1): Handle type schemes.
(pfQuantified2Sex): New.
2008-07-23 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/cparse.boot (npMonoType): Rename from npType.
|
|
|
|
|
|
* interp/compiler.boot (coerceExtraHard): Forms with type Category
are categories.
|