aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2008-08-09Do not start hyperdoc/graphics if OpenAxiom was build without X suppport.alfredoport2-7/+34
2008-08-09 * input/grpthry.input.pamphlet: Fix typo.dos-reis2-4/+8
2008-08-09 * interp/buildom.boot: Rename AST code LET to %LET throughout.dos-reis32-147/+181
* 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-reis5-26/+66
(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* lib/Makefile.in ($(axiom_target_libdir)/libopen-axiom-core.$(LIBEXT)): Tidy.dos-reis2-3/+12
2008-08-08 * interp/pf2sex.boot (pfApplication2Sex): Don't transform ">",dos-reis4-8/+9
"=>", and "<=" expressions.
2008-08-08 * algebra/aggcat.spad.pamphlet (part?$SetAggregate): Renamedos-reis10-21837/+21854
from <$SetAggregate. (part?$FiniteSetAggregate): Rename from <$FiniteSetAggregate * algebra/mset.spad.pamphlet (part?$Multiset): Rename from <$Mulitset. * input/mset.input.pamphlet: Adjust. * input/mset2.input.pamphlet: Likewise.
2008-08-07 * interp/apply.boot: Move content to compiler.boot. Remove.dos-reis5-305/+277
* interp/Makefile.pamphlet (OCOBJS): Remove apply.$(OBJEXT).
2008-08-07 * lisp/core.lisp.in (boot-completed-p): New.dos-reis10-67/+145
(|$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-07 * configure.ac.pamphlet: Add 'debug' to Lisp optimize proclamationdos-reis3-2/+18
when --enable-checking.
2008-08-06 * interp/Makefile.pamphlet (makeint.lisp): Tidy.dos-reis3-66/+106
2008-08-05 * interp/foam_l.lisp: Export Nil.dos-reis1-0/+4
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-reis2-12/+29
(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-reis2-1/+8
therefore a statement.
2008-08-05 Fix SF/2037811dos-reis3-7/+15
* 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.
2008-08-05 Fix SF/2037804dos-reis3-8/+15
* interp/i-syscmd.boot (cd): Convert new directory name to PATHNAME type before setting as default.
2008-08-04 * interp/cparse.boot ($npPParg): Remove.dos-reis2-21/+22
($npPCff): Likewise. (npPPff, npPCff): Take an argument. (npPPf): Likewise. (npPPg, npPCg): Likewise. (npPP, npPC): Pass around a suspension of the argument.
2008-08-04 * Makefile.pamphlet: Use $(mkdir_p) in lieu of $(mkinstalldirs),dos-reis15-60/+74
during build. Also use 'cp -p' instead of $(INSTALL). * algebra/Makefile.pamphlet: Likewise. * graph/Makefile.in: Likewise. * boot/Makefile.in: Likewise. * hyper/Makefile.in: Likewise. * input/Makefile.pamphlet: Likewise. * interp/Makefile.pamphlet: Likewise. * lib/Makefile.in: Likewise. * lisp/Makefile.in: Likewise. * share/Makefile.in: Likewise.
2008-08-04 * interp/pf2sex.boot: Replace CAR with first, and CARD with seconddos-reis2-14/+19
throughout.
2008-08-04Fix bug SF 2034483alfredoport3-1/+10
2008-08-03 * interp/sys-globals.boot ($compilingInputFile): Remove.dos-reis7-21/+11
($minivectorNames): Likewise. * interp/i-map.boot (compileCoerceMap): Don't set $minivectorNames and $minivectorCode. * interp/i-spec1.boot (compileADEFBody): Likewise. * interp/i-toplev.boot (processInteractive): Likewise. * interp/nrungo.boot (NRTgetMinivectorIndex): Likewise. * interp/slam.boot (reportFunctionCompilation): Likewise.
2008-08-02 * interp/nrungo.boot (NRTisRecurrenceRelation): Lookup "not" with dos-reis3-5/+10
signature % -> %. * interp/br-con.boot: Use "~=" for inequality.
2008-08-02 * interp/buildom.boot: Use constants by names.dos-reis12-30/+48
* interp/i-analy.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-intern.boot: Likewise. * interp/i-resolv.boot: Likewise. * interp/i-spec1.boot: Likewise. * interp/mark.boot: Likewise. * interp/nrungo.boot: Likewise. * interp/postpar.boot: Likewise. * interp/wi1.boot: Likewise.
2008-08-02 * boot/parser.boot (bpTerm): Term forms depend on the kind ofdos-reis7-30/+64
variable. (bpTypeItem): New. (bpTypeItemList): Use it. (bpTypeAliasDefition): Tidy. (bpCaseItem): Accept wildchars in pattern terms. * boot/ast.boot (bfCompDef): Don't name unused pattern variables. (bfSmintable): A character compares EQL. (bfCI): Ignore wildcard pattern variables. * boot/strap: Update cached Lisp translation.
2008-08-02 * interp/macros.lisp (sayBrightlyNT1): Tidy.dos-reis5-126/+133
(sayBrightly1): Likewise. * interp/msgdb.boot (sayNewLine): Take two defauled arguments. (sayString): Take a second defaulted arguments. (spadStartUpMsgs): Tidy. (brightPrint): Likewise. (brightPrint0): Likewise. (brightPrint0AsTeX): Likewise. (brightPrint1): Likewise. (brightPrintHighlight): Likewise. (brightPrintHighlightAsTeX): Likewise. (brightPrintCenter): Likewise. (brightPrintCenterAsTeX): Likewise. (brightPrintRightJustify): Likewise. * interp/i-output.boot (mathprint): Take a second defaulted argument. * boot/ast.boot (%Assignment): Rename from Assignment.
2008-08-01 * interp/msgdb.boot (BRIGHTPRINT-0): Remove.dos-reis3-10/+10
(BRIGHTPRINT): Likewise. * interp/macros.lisp (sayBrightly1): Use brightPrint0 and brightPrint. (sayBrightlyNT1): Likewise.
2008-07-26 * interp/compiler.boot (getConstructorFormOfMode): Remove.dos-reis2-17/+6
(getConstructorMode): Likewise. (isConstructorForm): Likewise.
2008-07-26(no commit message)dos-reis1-0/+12
2008-07-252008-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis4-25/+60
* interp/scan.boot: Tidy. * interp/ptrees.boot: Define AST for type schemes. * interp/cparse.boot (npType): Parse type schemes. (npQuantifierVariable): New. (npADD): Accept only monotypes. * interp/pf2sex.boot (pf2Sex1): Handle type schemes. (pfQuantified2Sex): New. 2008-07-23 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/cparse.boot (npMonoType): Rename from npType.
2008-07-23Tidydos-reis1-1/+1
2008-07-23 * boot/strap: Update cached Lisp translation.dos-reis3-53/+129
2008-07-23Misc cleanup.dos-reis6-38/+110
2008-07-20 * interp/compiler.boot (compNot): Rename from compileNot.dos-reis2-3/+7
2008-07-17 * input/pat.input.pamphlet (square): Define square an operatpr.dos-reis2-0/+3
2008-07-15 Fix SF/2015650dos-reis2-1/+10
* interp/compiler.boot (coerceExtraHard): Forms with type Category are categories.
2008-07-15 * share/algebra: Update databases.dos-reis9-21915/+21910
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG. * algebra/syntax.spad.pamphlet (Signature): New.
2008-07-12 * interp/i-funsel.boot (findUniqueOpInDomain): Use evaluation typedos-reis3-8/+20
context.
2008-07-11 * interp/sys-driver.boot (initializeGlobalState): New.dos-reis4-16/+23
(executeSpadScript): Use it. (compileSpadLibrary): Likewise. * interp/i-syscmd.boot (spool): Synchronize with standard output. * boot/translator.boot (bpOutItem): Tidy.
2008-07-11 * interp/nruncomp.boot (NRTencode): Don't encode enumerations.dos-reis2-4/+13
(listofBoundVars): Enumerations don't bind any varaible.
2008-07-11 * interp/compiler.boot (compQuote): Restrict quoting to literaldos-reis4-7/+20
symbols. * algebra/any.spad.pamphlet: Use nil for empty list. * algebra/boolean.spad.pamphlet: Fix quoting.
2008-07-09 * interp/i-spec2.boot (findConstantInDomain): Abstract fromdos-reis3-9/+24
upDollar. (upDollar): Use it. Don't return general constants as mappings. * interp/fnewmeta.lisp (|PARSE-FloatTok|): Fix typo.
2008-07-09 * interp/template.boot (evalSlotDomain): Likewise.dos-reis6-11/+24
(NRTaddInner): Likewise. * interp/nrunfast.boot (lazyMatch): Handle Enumeration. (newExpandLocalTypeForm): Likewise. * interp/lisplib.boot (isFunctor): Enumeration is a functor too. * interp/nruncomp.boot (NRTencode): Encode Enumeration too.
2008-07-07 * interp/spad.lisp (S-PROCESS): Remove Old Boot specific codes.dos-reis17-96/+61
* interp/server.boot (parseAndInterpret): Don't set $BOOT. * interp/setvars.boot (resetWorkspaceVariables): Likewise. * interp/spad-parser.boot (parseSpadFile): Likewise. * interp/postpar.boot: Disable Old Boot handling codes. * interp/metalex.lisp (quote-if-string): Don't test for $BOOT. * interp/parsing.lisp (IOStat): Likewise. (IOClear): Likewise. * interp/ht-util.boot (parseAndEval): Don't set $BOOT. * interp/int-top.boot (ncTopLevel): Likewise. * interp/fnewmeta.lisp: Remove Old Boot specific productions. * interp/sys-macros.lisp (-REDUCE): Don't test for $BOOT. (SPADDO): Likewise. * interp/comp.lisp (COMP-TRAN-1): Likewise. * interp/util.lisp (|string2SpadTree|): Likewise. * interp/bootlex.lisp (READBOOT): Remove. (READ-BOOT): Likewise. (spad): Don't initialize $BOOT. * interp/debug.lisp (/D-2): Likewise.
2008-07-07 * boot/initial-env.lisp: Export $InteractiveMode anddos-reis8-127/+66
string2BootTree. * boot/translator.boot (BOOTTOCL): Tidy. (BOOTTOCLC): Likewise. (BOOTTOCLLINES): Likewise. (BOOTTOCLCLINES): Likewise. (string2BootTree): Define. (translateToplevelExpression): Tidy. (translateToplevel): Handle atoms. Tidy. (shoePCompileTrees): Don't use bStreamPackageNull. * interp/boot-pkg.lisp: Import $interactiveMode and string2BootTree. * interp/util.lisp (string2BootTree): Remove. (OLD-BOOT::BOOT): Likewise. * interp/bootlex.lisp (boot): Likewise. (boot-parse-1): Likewise. * interp/compiler.boot (compileNot): Fix thinko. * interp/sys-globals.boot ($InteractiveMode): Don't define here.
2008-07-06 * interp/parse.boot ($normalizeTree): New.dos-reis7-23/+54
(parseNotEqual): Likewise. * interp/compiler.boot (compCompilerPredicate): New. (compileNot): Use it. * interp/define.boot (compSubDomain1): Likewise. (doItIf): Likewise. * interp/bootlex.lisp (boot): Set $nornamizeTree. * algebra/Makefile.pamphlet (axiom_algebra_layer_9): Move from layer 4 to here.
2008-07-06 * interp/parse.boot (parseTran): Don't set $op. Don't strip parsedos-reis2-63/+113
tree codes. (parseConstruct): Handle parse tree code. (parseUpArrow): Likewise. (parseLeftArrow): Likewise. (parseIs): Likewise. (parseIsnt): Likewise. (parseLET): Likewise. (parseLETD): Likewise. (parseColon): Likewise. (parseBigelt): Likewise. (parseCoerce): Likewise. (parseAtSign): Likewise. (parsePretend): Likewise. (parseHas): Likewise. (parseDEF): Likewise. (parseMDEF): Likewise. (parseCategory): Likewise. (parseGreaterThan): Likewise. (parseGreaterEqual): Likewise. (parseLessEqual): Likewise. (parseNotEqual): Likewise. (parseAnd): Likewise. (parseOr): Likewise. (parseEquivalence): Likewise. (parseImplies): Likewise. (parseExclusiveOr): Likewise. (parseExit): Likewise. (parseLeave): Likewise. (parseReturn): Likewise. (parseJoin): Likewise. (parseInBy): Likewise. (parseSegment): Likewise. (parseIn): Likewise. (parseIf): Likewise. (parseWhere): Likewise. (parseSeq): Likewise. (parseVCONS): Likewise.
2008-07-05 * interp/nruncomp.boot (NRTassocIndex): Document.dos-reis4-9/+25
(NRTgetLocalIndexClear): Remove. (NRTgetLocalIndex1): Lose second unused argument; move body to NRTgetLocalIndex. * interp/define.boot (doIt): Call NRTgetLocalIndex, not NRTgetLocalIndexClear. * interp/wi2.boot (NRTgetLocalIndex): Rename from NRTgetLocalIndex1.
2008-07-04 * interp/compiler.boot (compFormMatch): Tidy.dos-reis9-23/+108
(getFormModemaps): Likewise. (compComma): New. * interp/c-util.boot (isTupleInstance): New. (isHomoegenousVarargSignature): Likewise. (enoughArguments): Likewise. (wantArgumentsAsTuple): Likewise. * interp/apply.boot (reshapeArgumentList): New. (compFormWithModemap): Use it.
2008-07-04 Fix AW/429dos-reis2-2/+7
* algebra/multpoly.spad.pamphlet (IndexedExponents): Fix comment type.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-15 22:42:06 +0000