Age | Commit message (Collapse) | Author | Files | Lines |
|
domain of computation is the add form.
|
|
|
|
* bags.spad.pamphlet (parts$Stack): Implement.
(map$Stack): Likewise.
(map!$Stack): Likewise.
|
|
($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.
|
|
|
|
parameters. Remove previous declaration.
(conver$Syntax): Use cases to filter out erroneous input.
(getOperator$Syntax): Remove dead code.
|
|
(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.
|
|
(plus_infinity): Use INFINITY if available.
(minus_infinity): Use plus_infinity().
(NANQ): Use NAN if available.
|
|
* 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.
|
|
Syntax to Integer, DoubleFloat, Symbol, and String.
|
|
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.
|
|
Symbol, and String are not implicit.
(case$Syntax): New function.
(getOperator$Syntax): Adjust.
|
|
(|$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.
|
|
|
|
pamphlets.
(%.lo): Adjust include directory.
(mostlyclean-local): Don't remove source files and headers.
* nagman.c.pamphlet: Remove.
* session.c.pamphlet: Likewise.
* sman.c.pamphlet: Likewise.
* sessions.c: New.
* sman.h: Likewise.
* sman.c: Likewise.
|
|
(minus_infinity): Likewise.
(NANQ): Likewise.
|
|
stores the new directory name with a trailing slash.
|
|
* i-spec1.boot (userDefinedCase): New.
(upcase): Use it.
|
|
|
|
getOutputPathname.
|
|
|
|
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.
|