open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-03-16	* lisp/Makefile.in (void_type): New.	dos-reis	1	-1/+1
	(char_type): Likewise. (int_type): Likewise. (float_type): Likewise. (double_type): Likewise. (string_type): Likewise. (pointer_type): Likewise. (edit): Use them. * interp/wi1.boot (ppFull): Tidy. Don't set PRINT-DEPTH. * interp/vmlisp.lisp (gcmsg): Define when SBCL. * interp/template.boot (measureCommon): Fix thinko. * interp/sys-utility.boot: Move basic type definition from g-util.boot to here. * interp/g-util.boot (augProplistOf): Fix signature declaration. * interp/daase.lisp: Tidy. * interp/c-util.boot (displayComp): Remove assignment to $X,$M,$F. * interp/boot-pkg.lisp: Tidy. * interp/axext_l.lisp: Likewise. * interp/Makefile.pamphlet (makeint.lisp): Call GBC only when GCL. ($(axiom_targetdir)/algebra/exposed.$(FASLEXT)): Tidy. (patches.$(FASLEXT)): Require debug.$(FASLEXT), g-timer.$(FASLEXT). (wi2.$(FASLEXT)): Require define.$(FASLEXT). (spad.$(FASLEXT)): Require postpar.$(FASLEXT), debug.$(FASLEXT). * boot/translator.boot (genImportDeclaration): Include translation for SBCL. * boot/parser.boot (bpMapping): Tidy. * boot/ast.boot (coreSymbol): New. (bootSymbol): Likewise. (bootSymbol): Likewise. * lisp/core.lisp.in (\|$NativeTypeTable\|): New. Export. * algebra/Makefile.pamphlet (COMPILE_LISP): Use $(INTERPSYS). * algebra/exposed.lsp.pamphlet: Tidy.
2008-01-26	* interp/database.boot: Tidy uses of $EmptyEnvironment.	dos-reis	1	-3/+2
	* interp/i-map.boot: Likewise. Allocate fresh cell for $env. * interp/i-spec1.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/i-toplev.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/setvars.boot: Likewise. * interp/sys-globals.boot: Likewise. * interp/nruncomp.boot: Encode flag types too. * interp/template.boot: Likewise. * share/algebra: Update databases.
2007-12-12	* compiler.boot (comp3): Use isQuasiquote.	dos-reis	1	-1/+2
	(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.
2007-11-25	* Makefile.pamphlet (patches.$(FASLEXT)): New rule.	dos-reis	1	-0/+1
	(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.
2007-10-16	* Makefile.pamphlet (INOBJS): Lose xrun.$(FASLEXT).	dos-reis	1	-2/+2
	* 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.
2007-10-15	remove more pamphlets from interp/	dos-reis	1	-0/+2

2007-09-11	* template.boot: New.	dos-reis	1	-0/+338
	* template.boot.pamphlet: Move content to template.boot. Remove. * termrw.boot: New. * termrw.boot.pamphlet: Move content to template.boot. Remove. * topics.boot: New. * topics.boot.pamphlet: Move content to topics.boot. Remove. * trace.boot: New. * trace.boot.pamphlet: Move content to trace.boot. Remove. * varini.boot: New. * varini.boot.pamphlet: Move content to varini.boot. Remove. * xrun.boot: New. * xrun.boot.pamphlet: Move content to xrun.boot. Remove * xruncomp.boot: New. * xruncomp.boot.pamphlet: Move content to xruncomp.boot. Remove. * Makefile.pamphlet (<<xruncomp.clisp>>): Remove. (<<trace.lisp>>): Likewise. (<<topics.clisp>>): Likewise. (<<template.clisp>>): Likewise. (<<termrw.clisp>>): Likewise.