Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
domain of computation is the add form.
|
|
|
|
($lookupDefaults): Define.
(newLookupInDomain): Look up in the add-chain first.
(newLookupInCategories): Likewise.
(lazyMatch): Quasiquote is now like a Mapping.
(newExpandLocalTypeForm): Quasiquote is no longer like QUOTE.
* nrungo.boot (lookupInDomainAndDefaults): New.
(compiledLookup): Use it.
|
|
constant 6.
(NRTcheckVector): Likewise.
(deepChaseInferences): Likewise.
|
|
(deltaTran): Likewise.
(genDeltaEntry): Likewise.
(genDeltaSpecialSig): Likewise.
(NRTassignCapsuleFunctionSlot): Likewise.
(genSlotSig): Likewise.
(NRTassocIndexAdd): Remove.
|
|
identified as first operand is a simple-expression.
|
|
|
|
* nruncomp.boot ($NRTbase): Define as a constant.
* setq.lisp: Don't set it.
|
|
throughout.
* compiler.boot (compAtom): Use $OutputForm instead of $Expression.
(compSymbol): Likewise.
(outputComp): Likewise.
|
|
(compSymbol): Use condition type view for non Union objects.
(getUniqueCaseView): New. Subroutine of compSymbol.
(compForm2): Don't infer type for flag parameter through
unique compilcation.
(checkCallingConvention): New.
(compileQuasiquote): coerce, don't convert.
(compCase1): Handle non Union type object through modemap
selection.
(maybeSpliceMode): New. Subroutine of compCase1.
Register special form compiler with their names, not pointers.
* define.boot (candidateSignatures): New.
(hasSigInTargetCategory): Use it. Tidy.
(checkAndDeclare): Use isQuasiquote.
(spadCompileorSetq): Rename non atomic parameters before calling
LISP compiler.
* g-util.boot (quasiquote): New.
(isQuasiquote): Likewise.
* i-intern.boot (flagArguments): New.
(signatureFromModemap): Likewise.
(mkAtree3): Use them. Handle functions taking flag arguments.
* i-object.boot (getFlagArgsPos): New.
* i-spec1.boot (userDefinedCase): Now prepare form and hands back
to bottomUp.
(upcase): Adjust call to userDefinedCase.
* modemap.boot (addDomain): Don't add flag domains to the
environment.
* nruncomp.boot (NRTencode): Handle flag values.
(NRTgetLocalIndex1): Likewise.
* nrunfast.boot (lazyMatch): Likewise.
(newExpandLocalTypeForm): Likewise.
* sys-constants.boot ($DummyFunctorNames): Include quasiquote
constructor.
* template.boot (NRTaddInner): Handle flag values.
|
|
(postSignature): Likewise.
(postDoubleSharp): Likewise.
|
|
* compiler.boot (compileQuasiquote): New function.
* fnewmeta.lisp (|PARSE-Enclosure|): Parse quasiquotes too.
* i-intern.boot (mkAtree3): Don't evaluate arguments to
quasiquote.
* i-spec1.boot ($specialOps): Register [||].
(up[||]): Handle quasiquotes.
* newaux.lisp: Register `[|' and `|]' as new glyphs.
* pf2sex.boot ($insideApplication): Now count the nesting level of
application forms.
($insideQuasiquote): New. Count nesting level of quasiquotes.
(pfFinishApplication): Ensure application form nesting level is
properly decreased.
(pfApplication2Sex): Use it.
(pfQuasiquotation2Sex): Transform quasiquote forms.
(pf2Sex1): Use it.
* sys-constants.boot ($Syntax): New.
|
|
* i-syscmd.boot (printSynonyms): Eval commands in suspension
before printing.
(processSynonyms): Fully eval commands in suspension.
* setvars.boot ($InitialCommandSynonymAlist): Tidy.
|
|
($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.
|
|
(OCOBJS): Don't include xruncomp.$(FASLEXT) anymore.
* xruncomp.boot: Remove.
* compiler.boot (getFormModemaps): Merge from xruncomp.boot.
* functor.boot (LookUpSigSlots): Likewise.
* info.boot (actOnInfo): Likewise.
* modemap.boot (addModemap1): Likewise.
(evalAndSub): Likewise.
(substNames): Likewise.
(addConstructorModemaps): Likewise.
* nruncomp.boot (NRTencode): Likewise.
(genDeltaEntry): Likewise.
(NRTassignCapsuleFunctionSlot): Likewise.
(consDomainName): Likewise.
(changeDirectoryInSlot1): Likewise.
|
|
(|$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.
|
|
stores the new directory name with a trailing slash.
|
|
* i-spec1.boot (userDefinedCase): New.
(upcase): Use it.
|
|
|
|
|
|
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).
|
|
(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.
|
|
(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.
|