open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-03-24	Add support for SBCL and CLisp	dos-reis	1	-6/+6

2008-03-19	* interp/trace.boot (untraceDomainLocalOps): Tidy.	dos-reis	1	-0/+1
	* interp/spaderror.lisp (\|$quitTag\|): Define as constant. (\|$numericFailure\|): Likewise. * interp/spad.lisp: Import "postpar" and "debug". ($): Remove toplevel assignment. (\|traceComp\|): Tidy. (/FLAG): Remove. (PROMPT): Remove. (\|New,ENTRY,1\|): Don't declare it. Tidy. (\|New,ENTRY,2\|): Fix typo. * interp/sfsfun-l.lisp (rbesselj): Remove extraneous right parenthesis. (rbesseli): Likewise. * interp/patches.lisp: Import "sockio" instead of "debug" (\|$useInternalHistoryTable\|): Don't define here. (user::start): Remove. (/RF-1): Declare ECHO-META special. (READSPADEXPR): Declare IN-STREAM special. (\|$ViewportProcessToWatch\|): Declare. (echo-meta): Don't set here. * interp/packtran.boot (rePackageTran): Tidy. * interp/nspadaux.lisp (\|$underscoreChar\|): Define. (\|$markChoices\|): Likewise. (\|$convert2NewCompiler\|): Likewise. (\|$AnalyzeOnly\|): Likewise. (\|$categoryPart\|): Likewise. (\|$insideCAPSULE\|): Likewise. (\|$insideEXPORTS\|): Likewise. (\|$originalSignature\|): Likewise. (\|$insideDEF\|): Likewise. (\|$insideTypeExpression\|): Likewise. (\|$spadTightList\|): Likewise. (\|$PerCentVariableList\|): Likewise. * interp/nrunopt.boot (augmentPredCode): Fix typo. * interp/nlib.lisp (LISP-BIN-FILETYPE): Remove. (recompile-lib-file-if-necessary): Use $faslType. Unconditionally define. * interp/lisplib.boot (compDefineLisplib): Tidy. * interp/interop.boot (SExprToDName): Tidy. (oldAxiomPreCategoryDevaluate): Likewise. (hashNewLookupInCategories): Likewise. * interp/g-util.boot (get): Adjust return type. (get0): Likewise. (get1): Likewise. (get2): Likewise. * interp/foam_l.lisp: Tidy. * interp/define.boot (maybeInsertViewMorphisms): Fix typo. * interp/debug.lisp (/breakcondition): Declare. * interp/sys-utility.boot (getSystemModulePath): New. * interp/daase.lisp (\|with\|): Remove (\|library\|): Move i-syscmd.boot (initial-getdatabase): Use getSystemModulePath. (getdatabase): Likewise. (addoperations): Don't reference package LISP. (localdatabase): Likewise. (write-interpdb): Don't declare print-prett special. (write-browsedb): Likewise. (write-categorydb): Likewise.
2008-03-10	* interp/nocompil.lisp: Remove.	dos-reis	1	-3/+0
	* interp/Makefile.pamphlet: Adjust.
2008-03-03	* interp/i-analy.boot (bottomUp): Don't record constructor	dos-reis	1	-1/+1
	instantiations representations in interactive environments. * interp/i-eval.boot (evaluateFormAsType): New. (evaluateType): Use it. (evaluateType1): Tidy. * interp/i-output.boot (output): Tidy. * interp/i-object.boot ($genValue): Define here. * interp/sys-dirver.boot ($verbose): Rename from $verboseInterpreter. * interp/i-map.boot (genMapCode): Propagate $verbose renaming. * interp/slam.boot (compileRecurrenceRelation): Likewise.
2008-02-19	* algebra/variable.spad.pamphlet (AnonymousFunction): Add new	dos-reis	1	-1/+1
	functions `parameters' and `body'. * algebra/domain.spad.pamphlet: Rename from algebra/domain.spad. (Category): New category. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CATEGORY.o. (DOMAIN.NRLIB/code.$(FASLEXT)): Remove rule. * interp/trace.boot (transTraceItem): Use $LangSupportTypes. * interp/sys-constants.boot ($None): New. ($Type): Likewise. ($LangSupportTypes): Likewise. * interp/parse.boot (parseHas): Use $LangSupportTypes. (parseHasRhs): Likewise. * interp/i-spec2.boot (upLETtype): Use conceptualType. (uptypeOf): Likewise. (upwhere): Likewise. (typeOfType): Remove. * interp/i-spec1.boot (isDomainValuedVariable): Variables with type Category and Type are domain valued too. * interp/i-output.boot (output): Special case only Mode and Type. * interp/i-funsel.boot (selectMms): Don't ignore modemaps with category parameters. * interp/i-coerce.boot (canCoerce1): Test for Category instead of SubDomain Domain. (canCoerceFrom0): Use $None and $Any. (absolutelyCannotCoerce): Use $None. (coerceInteractive): Use $LangSupportTypes. (coerceInt1): Use $Any. * interp/i-analy.boot (conceptualType): New. (bottomUpType): Use it. * interp/clammed.boot (isValidType): Use $LangSupportTypes. * interp/g-cndata.boot (isNameOfType): Likewise. * interp/category.boot (Category): Remove hacky definition. * interp/buildom.boot ($noCategoryDomains): Domain now has a Lisplib.
2008-02-04	* boot/translator.boot (translateToplevelExpression): New.	dos-reis	1	-8/+8
	(bpOutItem): Use it. * boot/ast.boot (needsPROG): New. (shoeCompTran): Use it. Tidy. (bfMain): Define cache variables before functions manipulating them. * boot/strap/: Update cached Lisp translations. * interp/g-timer.boot: Use assignment instead of SETANDFILEQ at toplevel. * interp/i-syscmd.boot: Likewise. * interp/pf2atree.boot: Likewise. * interp/trace.boot: Likewise.
2007-11-24	* Makefile.pamphlet (cfuns.$(FASLEXT)): New rule.	dos-reis	1	-0/+1
	(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.
2007-10-15	remove more pamphlets from interp/	dos-reis	1	-0/+2

2007-09-11	* template.boot: New.	dos-reis	1	-0/+832
	* 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.