| Age | Commit message (Collapse) | Author | Files | Lines | 
|---|
|  | 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. | 
|  | (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. | 
|  |  |