Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
2007-12-03 Gabriel Dos Reis <gdr@cs.tamu.edu>
* script-parser.spad: New.
* Makefile.pamphlet (axiom_algebra_layer_19): Include PARSER.o
(PARSER.NRLIB/code.$(FASLEXT)): New rule.
* exposed.lsp.pamphlet: Expose Parser constructor.
src/interp/
2007-12-03 Gabriel Dos Reis <gdr@cs.tamu.edu>
* i-parser.boot: New.
* Makefile.pamphlet (i-parser.$(FASLEXT)): New rule.
(OBJS): Include i-parser.$(FASLEXT).
|
|
|
|
(coerce$Stack: % -> OutputForm): Define only if S has CoercibleTo
OutputForm.
(=$Stack: (%, %) -> Boolean): Define only if S has SetCategory.
|
|
|
|
2007-12-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (boot_objects_extra): New.
(stage0/bootsys$(EXEEXT)): Use it.
(stage1/bootsys$(EXEEXT)): Likewise.
(stage2/bootsys$(EXEEXT)): Likewise.
src/lisp/
2007-12-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (base_lisp_objects): New. Abstract over
Lisp compilation models.
(core.$(FASLEXT)): Tidy.
* core.lisp.in (|getOutputPathname|): Make unary.
(|link|): Make sure object files are used to construct ECL
programs.
(|makeHandler|): Adjust.
(|compileLispFile|): Likewise.
|
|
(varini.$(FASLEXT)): Remove rule.
* compiler.boot (compileSpad2Cmd): Don't set $ncConverse; it is
unused. Don't set $newcomMode and $newComp.
(compTopLevel): There is no function newComp. So simplify.
* cattable.boot (updateCategoryTable): Remove test for $newcompMode.
* database.boot (updateDatabase): Likewise.
* int-top.boot (SpadInterpretStream): Don't set $newcompMode.
($ncmParse): Move from varini.boot.
($ncmMacro): Likewise.
* bookvol5.pamphlet: Remove reference to $newcompMode.
* define.boot (compDefineCapsuleFunction): Simplify.
* msg.boot: Move diagnostic related variables from varini.boot to here.
* posit.boot ($nopos): Move from varini.boot to here.
* setq.lisp ($newcompMode): Don't set here
($newComp): Likewise.
($LINELENGTH): Likewise.
* spad.lisp ($newComp): Likewise.
($LINELENGTH): Likewise.
* varinit.boot: Remove.
|
|
(makeint.lisp): Don't depend on it, don't use it.
(UNUSED): Remove reference to anna.boot.
(nag-s.$(FASLEXT)): Remove.
(nag-f07.$(FASLEXT)): Likewise.
(nag-f04.$(FASLEXT)): Likewise.
(nag-f02.$(FASLEXT)): Likewise.
(nag-f01.$(FASLEXT)): Likewise.
(nag-e04.$(FASLEXT)): Likewise.
(nag-e02.$(FASLEXT)): Likewise.
(nag-e02b.$(FASLEXT)): Likewise.
(nag-e01.$(FASLEXT)): Likewise.
(nag-d03.$(FASLEXT)): Likewise.
(nag-d02.$(FASLEXT)): Likewise.
(nag-d01.$(FASLEXT)): Likewise.
(nag-c06.$(FASLEXT)): Likewise.
(nag-c05.$(FASLEXT)): Likewise.
(nag-c02.$(FASLEXT)): Likewise.
anna.boot: Remove.
nag-s.boot: Likewise.
nag-f07.boot: Likewise.
nag-f04.boot: Likewise.
nag-f02.boot: Likewise.
nag-f01.boot: Likewise.
nag-e04.boot: Likewise.
nag-e02.boot: Likewise.
nag-e02b.boot: Likewise.
nag-e01.boot: Likewise.
nag-d03.boot: Likewise.
nag-d02.boot: Likewise.
nag-d01.boot: Likewise.
nag-c06.boot: Likewise.
nag-c05.boot: Likewise.
nag-c02.boot: Likewise.
* setq.lisp (|$localExposureDataDefault|): Remove reference to naglink.
(|$localExposureData|): Likewise.
(|$InitialCommandSynonymAlist|): Remove startNAGLink and stopNAGLink.
* setvars.boot (setNagHost): Remove.
(describeSetNagHost): Likewise.
(setFortPers): Likewise.
(describeSetFortPers): Likewise.
* setvart.boot: Remove naglink option.
* sockio.lisp (NAGLinkServer): Remove.
* util.lisp (anna-functions): Likewise.
(nagbr-functions): Likewise.
(build-interpsys): Lose nagbr-files parameter.
(setNAGBootAutoloadProperties): Remove.
(get-NAG-chapter): Likewise.
(nag-files): Likewise.
(chapter-name): Likewise.
(sourcepath): Don't set naglink.
|
|
(intint.$(FASLEXT)): Remove rule.
* intint.lisp: Move essential content to i-toplev.boot. Remove.
|
|
* Makefile.pamphlet (OPOBJS): Don't include it anymore.
(postpar.$(FASLEXT)): Update requirement.
* mark.boot: Move setting of special compiler functions from
postprop.lisp to here.
* postprop.lisp: Remove.
* parse.boot: Register special parser for "xor".
|
|
* compiler.boot: Import "define" and "iterator".
Move setting of special compiler functions from property.lisp to
here.
* iterator.boot (compCollectV): Uncomment.
(compIteratorV): Likewise.
(computeMaxIndex): Likewise.
(exprDifference): Likewise.
* parse.boot: Move setting of special parsing functions from
property.lisp to here.
* postpar.boot: Move setting of special parsing transformers from
property.lisp to here.
* property.lisp: Move setting of special compiler functions and
parsers to appropriate files.
|
|
* property.lisp: Don't use it anymore.
* g-opt.boot: Likewise.
* i-spec2.boot: Likewise.
|
|
|
|
* nspadaux.lisp: Don't register special parser for `not'-form.
* postprop.lisp: Likewise.
* property.lisp: Likewise.
* parse.boot (parseNot): Remove.
|
|
* Makefile.pamphlet: Remove all-depsys rule.
src/
2007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet: Remove all-depsys rule.
(all-interpsys): Now depend on all-boot.
src/interp/
2007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>
Remove depsys from OpenAxiom.
* Makefile.pamphlet: Remove references to depsys.
* macros.lisp (BRIGHPRINT): Remove.
(BRIGHPRINT-0): Likewise.
* util.lisp (build-depsys): Likewise.
(processSynonyms): Likewise.
|
|
(bookvol5.$(FASLEXT)): Likewise.
(<<depsys>>): Don't extract.
(makeint.lisp): Don't depend on $(DEPSYS).
(all-interpsys): Don't dependen on all-depsys.
(all-axiomsys): Likewise. Now depend on all-interpsys.
(apply.$(FASLEXT)): New rule.
(lisplib.$(FASLEXT)): Likewise.
(spad.$(FASLEXT)): Likewise.
(axext_l.$(FASLEXT)): Likewise.
(foam_l.$(FASLEXT)): Likewise.
|
|
(setvars.$(FASLEXT)): Likewise.
(osyscmd.$(FASLEXT)): Likewise.
(intint.$(FASLEXT)): Likewise.
(int-top.$(FASLEXT)): Likewise.
(wi2.$(FASLEXT)): Likewise.
(wi1.$(FASLEXT)): Likewise.
(template.$(FASLEXT)): Likewise.
(package.$(FASLEXT)): Likewise.
(xruncomp.$(FASLEXT)): Likewise.
(interop.$(FASLEXT)): Likewise.
(mark.$(FASLEXT)): Likewise.
(daase.$(FASLEXT)): Likewise.
(monitor.$(FASLEXT)): Likewise.
(hashcode.$(FASLEXT)): Likewise.
(pspad2.$(FASLEXT)): Likewise.
(pspad1.$(FASLEXT)): Likewise.
(nocompil.$(FASLEXT)): Likewise.
(fname.$(FASLEXT)): Likewise.
|
|
compare with reified dollar.
|
|
(obey.$(FASLEXT)): Likewise.
(setq.$(FASLEXT)): Likewise.
(spaderror.$(FASLEXT)): Likewise.
(debug.$(FASLEXT)): Likewise.
(property.$(FASLEXT)): Likewise.
(nspadaux.$(FASLEXT)): Likewise.
(sockio.$(FASLEXT)): Likewise.
(sfsfun-l.$(FASLEXT)): Likewise.
(varini.$(FASLEXT)): Likewise.
(trace.$(FASLEXT)): Likewise.
(termrw.$(FASLEXT)): Likewise.
(showimp.$(FASLEXT)): Likewise.
(sfsfun.$(FASLEXT)): Likewise.
|
|
(alql.$(FASLEXT)): Likewise.
(br-prof.$(FASLEXT)): Likewise.
(packtran.$(FASLEXT)): Likewise.
(macex.$(FASLEXT)): Likewise.
(intfile.$(FASLEXT)): Likewise.
(compress.$(FASLEXT)): Likewise.
(msg.$(FASLEXT)): Likewise
|
|
(nag-f07.$(FASLEXT)): Likewise.
(nag-f04.$(FASLEXT)): Likewise.
(nag-f02.$(FASLEXT)): Likewise.
(nag-f01.$(FASLEXT)): Likewise.
(nag-e04.$(FASLEXT)): Likewise.
(nag-e02.$(FASLEXT)): Likewise.
(nag-e02b.$(FASLEXT)): Likewise.
(nag-e01.$(FASLEXT)): Likewise.
(nag-d03.$(FASLEXT)): Likewise.
(nag-d02.$(FASLEXT)): Likewise.
(nag-d01.$(FASLEXT)): Likewise.
(nag-c06.$(FASLEXT)): Likewise.
(nag-c05.$(FASLEXT)): Likewise.
(nag-c02.$(FASLEXT)): Likewise.
|
|
* i-intern.boot: Likewise.
* i-map.boot: Likewise.
* i-spec2.boot: Likewise.
* i-spec1.boot: Likewise.
|
|
* ax.boot: Likewise.
* cattable.boot: Likewise.
* compiler.boot: Likewise.
* def.lisp: Likewise.
* define.boot: Likewise.
* functor.boot: Likewise.
* g-opt.boot: Likewise.
* i-analy.boot: Likewise.
* i-intern.boot: Likewise.
* i-map.boot: Likewise.
* i-object.boot: Likewise.
* i-output.boot: Likewise.
* i-spec2.boot: Likewise.
* info.boot: Likewise.
* mark.boot: Likewise.
* nrunopt.boot: Likewise.
* package.boot: Likewise.
* parse.boot: Likewise.
* pf2atree.boot: Likewise.
* pf2sex.boot: Likewise.
* postpar.boot: Likewise.
* pspad2.boot: Likewise.
* wi2.boot: Likewise.
|
|
|
|
|
|
2007-11-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
* ast.boot.pamphlet (bfReduce): Compute left reduction, not right
reduction.
src/interp/
2007-11-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (nrunopt.$(FASLEXT)): New rule.
(<<nrunopt.clisp>>): Remove.
* define.boot: Fix syntax.
* nruncomp.boot: Likewise.
* nrunopt.boot.pamphlet: Push into package "BOOT". Fix syntax.
* wi2.boot: Fix syntax.
|
|
|
|
(<<clammed.clisp>>): Remove.
* clammed.boot.pamphlet: Push into package "BOOT". Fix syntax.
|
|
Update cached Lisp translation.
* translator.boot.pamphlet (BOOTTOCL): Don't set $bfClamming.
(BOOTCLAMLINES): Likewise.
(BOOTCLAM): Don't set it.
(BOOTTOCLCLINES): Likewise.
(BOOTTOMC): Likewise.
(EVAL_-BOOT_-FILE): Likewise.
(BO): Likewise.
(STEVAL): Likewise.
(STTOMC): Likewise.
(FC): Likewise.
(PSTTOMC): Likewise.
(BOOTLOOP): Likewise.
Update cached Lisp translation.
|
|
(compForm1): Use it in checking for error functions.
|
|
|
|
|
|
|
|
|
|
|
|
(br-saturn.$(FASLEXT)): Likewise.
(br-op2.$(FASLEXT)): Likewise.
(br-op1.$(FASLEXT)): Likewise.
(br-con.$(FASLEXT)): Likewise.
(br-data.$(FASLEXT)): Likewise.
(br-util.$(FASLEXT)): Likewise.
(<<br-search.clisp>>): Remove.
(<<br-saturn.clisp>>): Likewise.
(<<br-op2.clisp>>): Likewise.
(<<br-op1.clisp>>): Likewise.
(<<br-con.clisp>>): Likewise.
(<<br-data.clisp>>): Likewise.
(<<br-util.clisp>>): Likewise.
* br-search.boot.pamphlet: Push into package "BOOT". Fix syntax.
* br-saturn.boot.pamphlet: Likewise.
* br-op2.boot.pamphlet: Likewise.
* br-op1.boot.pamphlet: Likewise.
* br-con.boot.pamphlet: Likewise.
* br-data.boot.pamphlet: Likewise.
* br-util.boot.pamphlet: Likewise.
|
|
2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (SYNTAX.NRLIB/code.$(FASLEXT)): New rule.
(axiom_algebra_layer_14): Include SYNTAX.o.
* syntax.spad: New algebra file.
* domain.spad (Domain$reify): New.
src/share/
2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/browse.daase: Update.
* algebra/category.daase: Likewise.
* algebra/compress.daase: Likewise.
* algebra/interp.daase: Likewise.
|
|
|
|
|
|
(nruncomp.$(FASLEXT)): Likewise.
(<<nrunfast.clisp>>): Remove
(<<nruncomp.clisp>>): Likewise.
* nruncomp.boot.pamphlet: Push into package "BOOT". Fix syntax.
* nrunfast.boot.pamphlet: Likewise.
|
|
2007-11-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (mostlyclean-local): Remove stamp files and
strap/ directory too.
(clean-local): Remove database directories too.
src/interpreter/
2007-11-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (nrungo.$(FASLEXT)): New rule.
(nruntime.$(FASLEXT)): Likewise.
(<<nrungo.clisp>>): Remove.
(<<nruntime.clisp>>): Likewise.
* nrungo.boot.pamphlet: Push into package "BOOT". Fix syntax.
* nruntime.boot.pamphlet: Push into package "BOOT".
|
|
|
|
(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.
|
|
|
|
(c-doc.$(FASLEXT)): Likewise.
(<<c-doc.clisp>>): Likewise.
(<<compiler.clisp>>): Likewise.
* c-doc.boot.pamphlet: Push into package "BOOT". Fix syntax.
Document functions. Remove dead codes.
* compiler.boot.pamphlet: Push into package "BOOT". Fix syntax.
|
|
|
|
(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.
|
|
|
|
(newfort.$(FASLEXT)): Likewise.
(<<record.clisp>>): Remove.
(<<newfort.clisp>>): Likewise.
* newfort.boot.pamphlet: Push into package "BOOT".
|
|
|