Age | Commit message (Collapse) | Author | Files | Lines |
|
(<<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.
|
|
(<<category.clisp>>): Remove.
* category.boot.pamphlet: Push into package "BOOT".
Replace ASSOC with assoc throughout.
(mkCategory): Fix syntax.
* i-coerce.boot.pamphlet (stripUnionTags): Move to g-util.boot.
(isTaggeUnion): Likewise.
(getUnionOrRecordTags): Likewise.
* i-util.boot.pamphlet (wrap): Move to i-object.boot.
(isWrapped): Likewise.
(unwrap): Likewise.
(wrapped2Quote): Likewise.
(quote2Wrapped): Likewise.
(removeQuote): Likewise.
(TruthP): Move to g-util.boot.
|
|
Update cached Lisp translation.
* includer.boot.pamphlet: Update cached Lisp translation.
* parser.boot.pamphlet: Likewise.
* pile.boot.pamphlet: Likewise.
* scanner.boot.pamphlet: Likewise.
* tokens.boot.pamphlet: Likewise.
* translator.boot.pamphlet: Likewise.
|
|
|
|
before printing.
|
|
(transformAndRecheckComments): Use it.
|
|
|
|
* define.boot.pamphlet (hasSigInTargetCategory): Pretty-print
signature in diagnostics.
* i-syscmd.boot.pamphlet: Fix syntax.
* mark.boot: Likewise.
|
|
|
|
|
|
(<<match.clisp>>): Likewise.
(fortcall.$(FASLEXT)): New rule.
(match.$(FASLEXT)): Likewise.
* fortcall.boot.pamphlet: Push into package "BOOT". Import
"sys-macros". Fix syntax.
* match.boot.pamphlet: Likewise.
* patches.lisp (|makeVector): Move to fortcall.boot.
(|makeList|): Likewise.
|
|
(i-object.$(FASLEXT)): New rule.
* i-object.boot: New.
* i-analy.boot.pamphlet (getBasicMode): Move to i-object.boot.
(getBasicMode0): Likewise.
(getBasicObject): Likewise.
* i-intern.boot.pamphlet (mkObj): Likewise.
(mkObjWrap): Likewise.
(mkObjCode): Likewise.
(objNew): Likewise.
(objNewWrap): Likewise.
(objNewCode): Likewise.
(objSetVal): Likewise.
(objSetMode): Likewise.
(objVal): Likewise.
(objValUnwrap): Likewise.
(objMode): Likewise.
(objEnv): Likewise.
(objCodeVal): Likewise.
(objCodeMode): Likewise.
(asTupleNew): Likewise.
(asTupleNew0): Likewise.
(asTupleNewCode): Likewise.
(asTupleNewCode0): Likewise.
(asTupleSize): Likewise.
(asTupleAsVector): Likewise.
(asTupleAsList): Likewise.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* domain.spad: New.
* Makefile.pamphlet (axiom_algebra_layer_23): Include DOMAIN.o
(DOMAIN.NRLIB/code.$(FASLEXT)): New rule.
|
|
* aggcat.spad.pamphlet (HomogeneousAggregate): Make
CoercibleTo(OutputForm) if argument is of that category.
(BinaryRecursiveAggregate): Weaken condition for coercion to
OutputForm.
(OneDimensionalArrayAggregate): Likewise.
(Tuple): Likewise.
(IndexedList): Likewise.
* tree.spad.pamphlet: Likewise.
|
|
* i-funsel.boot.pamphlet (getFunctionFromDomain): Likewise.
* interop.boot.pamphlet (devaluate): Remove.
(isDomain): Likewise.
(NRTcompiledLookup): Likewise.
(compiledLookup): Likewise.
(basicLookup): Likewise.
(lookupInDomainVector): Likewise.
(lookupComplete): Likewise.
(lookupIncomplete): Likewise.
(lookupInCompactTable): Likewise.
(lazyMatchArg2): Likewise.
(getOpCode): Likewise.
(newExpandLocalType): Likewise.
(replaceGoGetSlot): Likewise.
(lazyMatchAssocV): Likewise.
(lazyDomainSet): Likewise.
(evalSlotDomain): Likewise.
(domainEqual): Likewise.
(coerceConvertMmSelection): Likewise.
(getFunctionFromDomain): Likewise.
|
|
* i-output.boot.pamphlet (putWidth): Use GETL.
* Makefile.pamphlet (i-output.$(FASLEXT)): New rule.
|
|
* 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.
|
|
|
|
|
|
|
|
(server.$(FASLEXT)): New rule.
* as.boot.pamphlet (asytran): Use VMREAD.
* c-util.boot.pamphlet (intersectionContour): Use assoc.
* g-error.boot.pamphlet (argumentDataError): Use read_-line.
* g-opt.boot.pamphlet: Use assoc.
* ht-util.boot.pamphlet: Likewise.
* htsertvar.boot.pamphlet: Likewise.
* server.boot.pamphlet: User read_-line.
|
|
|
|
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.
|
|
|
|
(bfSameMeaning): Likewise.
(bfReName): Use them.
* parser.boot.pamphlet (bpCompare): Tidy.
* tokens.boot.pamphlet: Rename NE to SHOENE. Record Old Boot
renaming tokens. Likewise for tokens with same meaning.
* translator.boot.pamphlet (AxiomCore::%sysInit): New.
($translatingOldBoot): 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.
|
|
|
|
(<<nag-c05.clisp>>): Likewise.
(<<nag-c06.clisp>>): Likewise.
(<<nag-d01.clisp>>): Likewise.
(<<nag-d02.clisp>>): Likewise.
(<<nag-d03.clisp>>): Likewise.
(<<nag-e01.clisp>>): Likewise.
(<<nag-e02.clisp>>): Likewise.
(<<nag-e04.clisp>>): Likewise.
(<<nag-f01.clisp>>): Likewise.
(<<nag-f02.clisp>>): Likewise.
(<<nag-f04.clisp>>): Likewise.
(<<nag-f07.clisp>>): Likewise.
(<<nag-s.clisp>>): Likewise.
* bc-matrix.boot.pamphlet (bcInputExplicitMatrix): Fix thinko.
* showimp.boot.pamphlet (getCategoriesOfDomain): Likewise.
* nag-c02.boot.pamphlet: Push into package "BOOT".
* nag-c05.boot.pamphlet: Likewise.
* nag-c06.boot.pamphlet: Likewise. Fix thinko.
* nag-d01.boot.pamphlet: Likewise.
* nag-d02.boot.pamphlet: Push into package "BOOT".
* nag-d03.boot.pamphlet: Likewise.
* nag-e01.boot.pamphlet: Likewise. Fix thinko.
* nag-e02.boot.pamphlet: Push into package "BOOT".
* nag-e02b.boot.pamphlet: Likewise.
* nag-e04.boot.pamphlet: Likewise. Make compilable by bootsys.
* nag-f01.boot.pamphlet: Push into package "BOOT".
* nag-f02.boot.pamphlet: Likewise.
* nag-f04.boot.pamphlet: Likewise.
* nag-f07.boot.pamphlet: Likewise. Fix thinko.
* nag-s.boot.pamphlet: Likewise.
* showimp.boot.pamphlet: Fix thinko.
|
|
unconditionally. Don't use "AXIOM" variable.
* as.boot.pamphlet (as): Remove dead code.
|
|
* lisplib.boot.pamphlet: Push into package "BOOT".
(findConstructorSlotNumber): Tidy.
(sigsMatch): Likewise.
|
|
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (TESTSYS): Tidy.
src/interp/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* br-search.boot.pamphlet: Replace uses of $SPAROOT with
systemRootDirectory.
* construc.lisp.pamphlet: Likewise.
* daase.lisp.pamphlet: Likewise.
* i-toplev.boot.pamphlet: Likewise.
* patches.lisp.pamphlet: Likewise.
* pathname.boot.pamphlet: Likewise.
* util.lisp.pamphlet: Likewise.
* bookvol5.pamphlet: Remove $spadroot throughout.
(initroot): Remove.
(reroot): Lose argument.
* Makefile.pamphlet (makeint.lisp): Depend on
sys-driver.$(FASLEXT). Explicitly load it.
Miscellaneous cleanup.
|
|
|
|
* configure.ac.pamphlet: Tidy. Don't instantiate src/lisp/core.lisp.
* configure.ac: Regenerate.
* configure: Likewise.
* config/var-def.mk (open_axiom_installdir): New.
(AXIOM): Support versioning.
* Makefile.pamphlet (install): Tidy.
Remove sections on SPAD and SYS variables.
* Makefile.in: Regenerate.
src/algebra/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (INTERPSYS): Now take system root directory
and algebra directory as arguments.
* Makefile.in: Regenerate.
src/etc/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (INTERPSYS): Take system root directory and
algebra directory as arguments.
* Makefile.in: Regenerate.
src/interp/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* bookvol5.pamphlet (initroot): Use |systemRootDirectory| instead
of environment variable AXIOM.
(|loadExposureGroupData|): Likewise.
* br-data.boot.pamphlet (dbHasExamplePage): Likewise.
(dbRead): Likewise.
(dbReadComments): Likewise.
(buildGloss): Likewise.
* br-saturn.boot.pamphlet (getSaturnExampleList): Likewise.
* br-search.boot.pamphlet (grepSplit): Likewise.
* daase.lisp.pamphlet (asharp): Likewise.
(initial-getdatabase): Likewise.
(DaaseName): Likewise.
(create-initializers): Likewise.
* ht-root.boot.pamphlet (htGlossPage): Likewise.
* htcheck.boot.pamphlet (buildHtMacroTable): Likewise.
* i-syscmd.boot.pamphlet (summary): Likewise.
(copyright): Likewise.
* patches.lisp.pamphlet (restart0): Likewise.
* util.lisp.pamphlet (sourcepath): Likewise.
* Makefile.pamphlet (OBJS): Include sys-driver.$(FASLEXT).
(${SAVESYS}): Tidy.
(${AXIOMSYS}): Likewise.
(${DEPSYS}): Depend on sys-driver.$(FASLEXT). Load it.
(sys-driver.$(FASLEXT)): New rule.
* Makefile.in: Regenerate.
* sys-driver.boot: New.
src/lisp/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* core.lisp.in (|%systemOptions|): New.
(|%systemArguments|): Likewise.
(|$systemInstallationDirectory|): Likewise.
(|$sysOpts|): Likewise.
(|$sysArgs|): Likewise.
(|handleCommandLine|): Tidy.
(|printUsage|): Update.
* Makefile.pamphlet (core.lisp): Instantiate here.
src/script/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* axiom.in (AXIOM): Use value substituted by Autoconf.
Remove dead code.
|
|
|
|
|
|
(<<bc-util.clisp>>): Likewise.
(<<br-prof.clisp>>): Likewise.
* bc-matrix.boot.pamphlet: Push into BOOT package.
* bc-util.boot.pamphlet: Likewise.
* br-prof.boot.pamphlet: Likewise.
|
|
(bigopAppAux): Use it.
(charyTop): Likewise.
(binomApp): Likewise.
|
|
out of date.
src/algebra/
* Makefile.pamphlet (DEPSYS): Remove.
(COMPILE_LISP): New.
(strap/%.o): Use it to compile cached Lisp files.
src/interp/
* bookvol5.pamphlet (restart): Simplify. Handle command line
arguments.
src/lisp/
* core.lisp.in (|handleCommandLine|): Return truthvalue on success.
Don't call $originalLispTopLevel.
(|compileLispHandler|): Rename file to in-file.
(|topLevel|): Exit only whne handleCommandLine indicates so.
|
|
|
|
|
|
|
|
|