aboutsummaryrefslogtreecommitdiff
path: root/src/interp
AgeCommit message (Collapse)AuthorFilesLines
2008-09-012008-09-01 Martin Rubey <martin.rubey@univie.ac.at>dos-reis4-14/+81
Gabriel Dos Reis <gdr@cs.tamu.edu> Fix AW/431 * algebra/ore.spad.pamphlet (SpareUnivariateSkewPolynomial): Implement **. 2008-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu> Make ^ an alias for **. * interp/postpar.boot (postAtom): Replace "^" with "**". * interp/format.boot (reportOpSymbol): Announce that "^" is an alias for "**". * interp/nrungo.boot (compiledLookup): Be sure to look for "**" when operation is "^". * interp/define.boot (noteCapsuleFunctionDefinition): New. (clearCapsuleFunctionTable): Likewise. (noteExport): Likewise. (clearExportsTable): Likewise. (compDefineCapsuleFunction): Rename "^" to "**". Take a note of the capsule function being compiled. (compCapsule): Clear previous capsule functions table. (doItIf): Keep track of predicate validity. (compCategory): Clear previous exports table. (compCategoryItem): Take notes of declared attributes and signatures. * algebra/catdef.spad.pamphlet (DivisionRing): Remove duplicate definition for "^". (Group): Likewise. (Monoid): Likewise. (SemiGroup): Likewise. * algebra/poly.spad.pamphlet (PolynomialRing): Remove duplicate definitins of "^". (SparseUnivariatePolynomial): Likewise. * algebra/multpoly.spad.pamphlet (SparseMultivariatePolynomial): Remove duplicate definitions for "^". * algebra/interval.spad.pamphlet (Interval): Remove duplicate definition for "^". * algebra/curve.spad.pamphlet (FunctionFieldCategory): Remove duplicate declaration for represents. * algebra/strap/: Update cached Lisp translations. * share/algebra: Update databases.
2008-08-30 * interp/sys-driver.boot (initializeGlobalState): Parse --bootstrap.dos-reis1-0/+1
2008-08-29Add more explicit importsdos-reis1-11/+11
2008-08-292008-08-29 Waldek Hebisch <hebisch@math.uni.wroc.pl>dos-reis1-0/+1
Alfredo Portes <doyenatccny@gmail.com> Fix AW/280 * interp/br-search.boot (grepConstruct): Return error messages verbatim.
2008-08-29 * interp/c-util.boot (isKnownType): New.dos-reis2-0/+28
(diagnoseUknownType): Likewise. * interp/define.boot (compCategoryItem): Use it. Check for unknown types.
2008-08-29 * interp/lisplib.boot (augModemapsFromDomain1): Move to modemap.bootdos-reis3-54/+35
(mkEvalableCategoryForm): Move to define.boot
2008-08-29 * interp/sys-os.boot (readFromFileHandle): New.dos-reis1-0/+18
(writeToFileHandle): Likewise. (closeFileHandle): Likewise. (openLocalClientStreamSocket): Likewise (oa_filedesc_read): Likewise. (oa_filedesc_write): Likewise. (oa_filedesc_close): Likewise. * include/sockio.h (oa_open_local_client_stream_socket): Declare. * lib/sockio-c.c (oa_open_local_client_stream_socket): Define. (oa_filedesc_read): Likewise. (oa_filedesc_write): Likewise. (oa_filedesc_close): Likewise.
2008-08-22 * interp/g-timer.boot (printTimeIfTrue): Don't compute thedos-reis1-1/+1
quotient of the integer division.
2008-08-21 * interp/g-error.boot (systemErrorHandler): New.dos-reis2-0/+19
* interp/sys-driver.boot (restart): Use it.
2008-08-20 * interp/compiler.boot (compMacro): Honor $verbose.dos-reis3-17/+20
* interp/modemap.boot (putDomainsInScope): Likewise. * interp/wi1.boot (compMacro): Likewise.
2008-08-20 * interp/sys-driver.boot (AxiomCore::%sysInit): Fix indentationdos-reis1-2/+2
thinko.
2008-08-19 * interp/lisplib.boot (compDefineLisplib): Don't updatedos-reis4-7/+4
$CategoryFrame with modemap for the constructor we just finished compiling.
2008-08-19 * interp/database.boot (pathToDatabase): Honor $verbose.dos-reis2-2/+5
* interp/compiler.boot (COMP-1): Likewise.
2008-08-17 * interp/sys-globals.boot ($verbose): Move from sys-driver.boot.dos-reis3-21/+31
(initializeGlobalState): Set it and honor it. * interp/daase.lisp (initial-getdatabase): Be talkative only when asked.
2008-08-17 * interp/sys-globals.boot ($updateCatTableIfTrue): Default to false.dos-reis5-9/+9
* interp/sys-driver.boot (AxiomCore::%sysInit): Have ECL quiet. (initializeGlobalState): Initialize new world states. * interp/define.boot (compDefine): Tidy. (compDefineCategory2): Explicitly initialize $TOP_LEVEL and $definition. * interp/daase.lisp (|fillDatabasesInCore|): Use $buildingSystemAlgebra. * interp/compiler.boot (compMakeDeclaration): Explicitly initialize $insideExpressionIfTrue. * boot/translator.boot (AxiomCore::%sysInit): Supper GCL and ECL compiler notes, but ask for warning.
2008-08-17 * interp/sys-driver.boot (openDatabases): Rename from RESTART0.dos-reis7-16/+75
(initializeGlobalState): Tidy. (executeSpadScript): Don't display start up messages. (compileSpadLibrary): Likewise. (buildDatabasesHandler): Likewise. (systemMain): Initialize global states. * interp/nrunfast.boot: Defin $NRTvec, $monitorNewWorld. * interp/daase.lisp (|fillDatabasesInCore|): Rename from RESETHASHTABLES. (|closeAllDatabaseStreams|): Rename from closeAllDatabases * interp/util.lisp (build-interpsys): Initialize macro table. * interp/htcheck.boot: Don't initialize macro table here.
2008-08-16 * interp/daase.lisp (DaaseName): Move to database.boot. Rename asdos-reis3-35/+26
pathToDatabase. (|closeAllDatabases|): New. Split from RESETHASHTABLES. * interp/util.lisp (build-interpsys): Call it here.
2008-08-16 * interp/Makefile.pamphlet (%.$(LNKEXT) %.$(FASLEXT)): Tidy.dos-reis2-4/+4
(%.$(LNKEXT) %.$(FASLEXT)): Likewise.
2008-08-16 * interp/define.boot (compDefineCategory2): Use rwriteLispForm.dos-reis3-8/+8
(compDefineFunctor1): Likewise. * interp/wi1.boot (compDefineCategory2): Likewise. (compDefineFunctor1): Likewise.
2008-08-16 * lisp/core.lisp.in (|%basicSystemIsComplete|): New. Export.dos-reis5-19/+30
(|link|): Use prologue for all systems. * interp/sys-driver.boot (systemMain): New. Break from restart(). (restart): Tidy. * interp/boot-pkg.lisp: Don't push :OPEN-AXIOM-BOOT-COMPLETE.
2008-08-15 * lisp/core.lisp.in (|$StandardLinking|): New. Export.dos-reis3-3/+4
* lisp/Makefile.in (edit): Update. * interp/daase.lisp: Don't load initial databases when --system-algebra. * interp/Makefile.pamphlet (${SAVESYS}): Build with --system-algebra.
2008-08-15 * interp/vmlisp.lisp (BPINAME): Define for ECL too.dos-reis3-19/+9
* interp/util.lisp (*BIN-TYPE*): Remove. Use $faslType throughout. * interp/daase.lisp (get-current-directory): Tidy conditional definition.
2008-08-15 * lisp/core.lisp.in (getOptionValue): Export.dos-reis4-2/+11
* interp/sys-driver.boot (initializeGlobalState): Record value for --system-algebra. * interp/sys-globals.boot ($buildingSystemAlgebra): Declare. * interp/compiler.boot (compileSpad2Cmd): Don't build local database if compiling system algebra. * interp/i-syscmd.boot (compileAsharpCmd1): Likewise. * algebra/Makefile.pamphlet (%.NRLIB/code.$(FASLEXT)): Use --system-algebra. (SPADPRSR.NRLIB/code.$(FASLEXT)): Likewise. (PARSER.NRLIB/code.$(FASLEXT)): Likewise.
2008-08-15 * interp/Makefile.pamphlet: Simplify build of interpsys and AXIOMsys.dos-reis3-98/+57
(interpsys_modules): Remove. (IN_modules): Likewise. (AS_modules): Likewise. (makeint.lisp): Simplify. (makeint.$(LNKEXT)): New make rule. (${SAVESYS}): Tidy. (${AXIOMSYS}): Likewise. * interp/util.lisp (build-interpsys): Lose first parameter. Tidy.
2008-08-14Revert accidental commit from experimental branchdos-reis3-5/+5
2008-08-14 * interp/sys-driver.boot (buildDatabasesHandler): New.dos-reis1-1/+9
Install it as handler for --build-databases. * etc/Makefile.in ($(openaxiom_databases)): Adjust.
2008-08-14Cleanup GETL(x,'NILADIC)dos-reis3-5/+5
2008-08-13(no commit message)dos-reis2-7/+15
2008-08-13 * interp/Makefile.pamphlet (OBJS): Don't include union.$(FASLEXT)dos-reis2-6/+4
twice. (ASCOMP): Don't include here.
2008-08-13 (|COMP,TRAN|): Remove.dos-reis7-79/+22
(|spadHash|): Likewise. (|$internalHistoryTable|): Don't define here. (|isBpiOrLambda|): Remove. (|libraryFileLists|): Likewise. (|normalizeArgFileName|): Likewise. (save-system) [LUCID]: Likewise. (|undoINITIALIZE|): Likewise. (|isLowerCaseLetter|): Don't define here. (|isUpperCaseLetter|): Likewise. (|isLetter|): Likewise. (printCopyright): Remove. (user-homedir-pathname): Likewise. (BUMPCOMPERRORCOUNT): Likewise. (|cpCms|): Likewise. (|normalizeTimeAndStringify|): Likewise. (whocalled): Likewise. (|compressHashTable|): Likewise. (SETLETPRINTFLAG): Don't define here. (RESTART0): Move to sys-driver.boot * interp/g-util.boot (charRangeTest): Remove.
2008-08-13Tidydos-reis1-2/+2
2008-08-13 * interp/patches.lisp (RESTART0): Don't duplicate code; calldos-reis1-8/+1
CREATE-INITIALIZERS.
2008-08-13 * interp/sys-driver.boot (SPAD-SAVE): Fold content intodos-reis2-13/+8
savesystem. Remove.
2008-08-12 * interp/Makefile.pamphlet: Move warm.data.stanza to topics.boot.dos-reis3-53/+24
2008-08-11 * interp/obey.lisp: Remove.dos-reis16-121/+41
* interp/Makefile.pamphlet (OBJS): Don't include obey.$(FASLEXT). * interp/br-data.boot: Replace OBEY with runCommand. * interp/br-saturn.boot: Likewise. * interp/br-search.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/compat.boot: Likewise. * interp/debug.lisp: Likewise. * interp/g-util.boot: Likewise. * interp/ht-root.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/patches.lisp: Likewise. * interp/spad.lisp: Likewise. * interp/util.lisp: Likewise. * interp/vmlisp.lisp: Likewise.
2008-08-11Fix thinkodos-reis1-2/+2
2008-08-10 * interp/Makefile.pamphlet: Clean up.dos-reis3-52/+31
* interp/sys-driver.boot (SET-RESTART-HOOK): Remove.
2008-08-10 Fix AW/422dos-reis2-2/+15
* interp/i-spec1.boot (upDeclare): Fields are not declarations. * interp/i-map.boot (getUserIdentifiersIn): Ignore field names. * testsuite/interpreter/aw-422.input: New.
2008-08-09 * interp/pf2sex.boot (pf2Sex1): Handle more ASTs.dos-reis5-9/+45
(pfType2SexOrNil): New. (pfDoc2SexOrNil): Likewise. (pfWith2Sex): Likewise. (pfAdd2Sex): Likewise. (pfWDeclare2Sex): Likewise. (pfAttribute2Sex): Likewise. (pfWIf2Sex): Likewise. (pfExport2Sex): Likewise. (pfInline2Sex): Likewise. (pfImport2Sex): Likewise. (pfQualType2Sex): Likewise. * interp/ptrees.boot (pf0InlineItems): New. * interp/i-spec2.boot (up%Import): New. (sorry): Likewise. (up%Export): Likewise. (up%Inline): Likewise. (up%With): Likewise. (up%Add): Likewise. * interp/i-intern.boot (mkAtree3): Handle %Inline, %With, %Add, and %Export. * interp/i-spec1.boot ($specialOps): Adjust. * doc/msgs/s2-us.msgs (S2IP0006): New.
2008-08-09 * include/open-axiom.h (OPENAXIOM_HAVE_GRAPHICS): Define.dos-reis1-0/+46
* sman/sman.c (process_arguments): Use it. (process_arguments): Likewise.
2008-08-09 * interp/buildom.boot: Rename AST code LET to %LET throughout.dos-reis31-147/+147
* interp/c-util.boot: Likewise. * interp/comp.lisp: Likewise. * interp/compiler.boot: Likewise. * interp/cparse.boot: Likewise. * interp/def.lisp: Likewise. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/i-eval.boot: Likewise. * interp/i-intern.boot: Likewise. * interp/i-map.boot: Likewise. * interp/i-spec1.boot: Likewise. * interp/i-spec2.boot: Likewise. * interp/iterator.boot: Likewise. * interp/mark.boot: Likewise. * interp/newaux.lisp: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunopt.boot: Likewise. * interp/package.boot: Likewise. * interp/parse.boot: Likewise. * interp/pf2atree.boot: Likewise. * interp/pf2sex.boot: Likewise. * interp/postpar.boot: Likewise. * interp/property.lisp: Likewise. * interp/pspad1.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/slam.boot: Likewise. * interp/spad.lisp: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise.
2008-08-09 * interp/pf2sex.boot (pfMacro2Sex): New.dos-reis4-25/+48
(pfMLambda2Sex): Likewise. (pf2Sex1): Use them. * interp/i-spec2.boot ($VoidValueObject): New. ($VoidCodeObject): Likewise. (setValueToVoid): Likewise. (setCodeToVoid): Likewise. (upDEF): Call setValueToVoid. (upfree): Call setCodeToVoid (uplocal): Likewise. (interpIF): Call setValueToVoid. (up%Macro): New. (up%MLambda): Likewise. * interp/i-spec1.boot ($specialOps): Add %Macro and %MLambda. * interp/macex.boot (macMacro): Really return the original macro as the documentation says.
2008-08-08 * interp/pf2sex.boot (pfApplication2Sex): Don't transform ">",dos-reis1-6/+0
"=>", and "<=" expressions.
2008-08-07 * interp/apply.boot: Move content to compiler.boot. Remove.dos-reis4-305/+272
* interp/Makefile.pamphlet (OCOBJS): Remove apply.$(OBJEXT).
2008-08-07 * lisp/core.lisp.in (boot-completed-p): New.dos-reis4-5/+6
(|$useDynamicLink|): Likewise. (|$effectiveFaslType|): Hold extension of linkable FASL. (|$NativeModuleExt|): Tidy. (|$CoreLibName|): New. (|$ExtraRuntimeLibraries|): Likewise. (extra-runtime-libs): Likewise. (complete-fasl-list-for-link): Likewise. (|link|) [ECL]: Link against system libraries. (|compileLispFile|): Tidy. (begin-compile-time): New. (end-compile-time): Likewise. (compile-time-p): Likewise. (import-module): Use it. * lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Use oa_c_runtime_extra. * lib/Makefile.in (oa_installed_corelib): New. * boot/initial-env.lisp: Don't export systemRootDirectory and systemLibraryDirectory from here. * boot/translator.boot (systemRootDirectory): Move to lisp/core.lisp. (systemLibraryDirectory): Likewise. (loadSystemRuntimeCore): Do nothing for GCL and ECL. * interp/boot-pkg.lisp: Inform that Boot system is compleye.
2008-08-06 * interp/Makefile.pamphlet (makeint.lisp): Tidy.dos-reis2-66/+102
2008-08-05 * interp/foam_l.lisp: Export Nil.dos-reis1-1/+1
2008-08-05 * interp/cparse.boot (npWith): Commit to parsing upon `with'.dos-reis1-12/+16
(npAdd): Commit to parsing upon `add'. (npDef): Tell npDefTail to look for '=='. (npMdef): Accept argument to indicate '==' or '==>' forms. (npSingleRule): A Rule is given by '=='. (npDefTail): Take the kind of definition as a parameter. (npDefinitionItem): Macro definitions are definitions. (npMDEFinition): Remove. (npMDEF): Hand off to npMdef to parse macro definitions. (npMacro): Macros introduced by `macro' keyword uses '=='.
2008-08-05 * interp/cparse.boot (npExpress1): Make assignment an expression,dos-reis1-1/+3
therefore a statement.
2008-08-05 Fix SF/2037811dos-reis2-7/+7
* interp/vmlisp.lisp (EMBED): Evaluate lambda forms to FUNCTIOn type. * interp/trace.boot (transTraceItem): Fix thinko. (spadTrace): Use assoc, not ASSOC. (addTraceItem): Test for domain objects before constructors.