Age | Commit message (Collapse) | Author | Files | Lines |
|
(OPENAXIOM_CHECK_GCL_INCLUSION): Likewise.
(OPENAXIOM_LISP_FLAVOR): Likewise.
(OPENAXIOM_HOST_COMPILERS): Likewise.
(OPENAXIOM_PROG_LISP): Honor --enable-gcl properly.
* Makefile.pamphlet (all-src): Rename axiom_all_prerequisites to
oa_all_prerequisites.
|
|
over build tool requirements.
* configure.ac.pamphlet: Use it.
|
|
* configure.ac.pamphlet: Use it.
|
|
(OPENAXIOM_LISP_FLAVOR): Likewise.
(OPENAXIOM_HOST_COMPILERS): Likewise.
(OPENAXIOM_GCL_HACKS): Likewise.
(OPENAXIOM_SATISFY_GCL_NEEDS): Likewise.
(OPENAXIOM_LISP_FLAGS): Likewise.
(OPENAXIOM_FILE_EXTENSIONS): Likewise.
(OPENAXIOM_FFI_TYPE_TABLE): Likewise.
(OPENAXIOM_HOST_LISP_CPU_PRECISION): Likewise.
(OPENAXIOM_HOST_DATA_PROPERTIES): Likewise.
* configure.ac.pamphlet: Use them.
|
|
(OPENAXIOM_PROG_LISP): Likewise.
* configure.ac.pamphlet: Use them. Simplify.
|
|
* configure.ac.pamphlet: Use it.
|
|
|
|
|
|
* lib/pixmap.c: Likewise.
* lib/spadcolors.c: Likewise.
* include/ReadBitmap.H1: Remove.
* include/all_hyper_proto.H1: Likewise.
* include/cond.H1: Likewise.
* include/cursor.H1: Likewise.
* include/dialog.H1: Likewise.
* include/display.H1: Likewise.
* include/event.H1: Likewise.
* include/extent1.H1: Likewise.
* include/extent2.H1: Likewise.
* include/form_ext.H1: Likewise.
* include/group.H1: Likewise.
* include/htinp.H1: Likewise.
* include/hyper.H1: Likewise.
* include/initx.H1: Likewise.
* include/input.H1: Likewise.
* include/item.H1: Likewise.
* include/keyin.H1: Likewise.
* include/macro.H1: Likewise.
* include/mem.H1: Likewise.
* include/parse.H1: Likewise.
* include/parse_aux.H1: Likewise.
* include/parse_input.H1: Likewise.
* include/parse_paste.H1: Likewise.
* include/parse_types.H1: Likewise.
* include/scrollbar.H1: Likewise.
* include/show_types.H1: Likewise.
* include/spadcolors.H1: Likewise.
* include/spadint.H1: Likewise.
* include/titlebar.H1: Likewise.
* hyper/Makefile.in: Compile and Link with a C++ compiler.
* hyper/ReadBitmap.c: Make it acceptable to a C++ compiler.
* hyper/cond.c: Likewise.
* hyper/dialog.c: Likewise.
* hyper/display.c: Likewise.
* hyper/display.h: Likewise.
* hyper/event.c: Likewise.
* hyper/event.h: Likewise.
* hyper/extent.h: Likewise.
* hyper/extent1.c: Likewise.
* hyper/extent2.c: Likewise.
* hyper/form-ext.c: Likewise.
* hyper/group.c: Likewise.
* hyper/group.h: Likewise.
* hyper/htadd.c: Likewise.
* hyper/htinp.c: Likewise.
* hyper/hyper.c: Likewise.
* hyper/hyper.h: Likewise.
* hyper/initx.c: Likewise.
* hyper/initx.h: Likewise.
* hyper/input.c: Likewise.
* hyper/item.c: Likewise.
* hyper/keyin.h: Likewise.
* hyper/keyin.c: Likewise.
* hyper/macro.c: Likewise.
* hyper/mem.c: Likewise.
* hyper/parse-aux.c: Likewise.
* hyper/parse-input.c: Likewise.
* hyper/parse-paste.c: Likewise.
* hyper/parse-paste.h: Likewise.
* hyper/parse-types.h: Likewise.
* hyper/parse-types.c: Likewise.
* hyper/parse.h: Likewise.
* hyper/parse.c: Likewise.
* hyper/scrollbar.c: Likewise.
* hyper/scrollbar.h: Likewise.
* hyper/show-types.c: Likewise.
* hyper/spadint.c: Likewise.
* hyper/titlebar.c: Likewise.
* hyper/titlebar.h: Likewise.
* graph/view3D/smoothShade3d.c: Include spadcolors.h
* graph/view3D/stuff3d.c: Likewise.
* graph/include/view.h (saymem): #undef before #define.
* graph/view2D/write2d.c: Include pixmap.h.
* graph/view3D/process3d.c: Likewise.
* graph/view3D/write3d.c: Likewise.
* graph/view3D/header.h: Remove macro definition for endColor and
colorStep.
* include/bsdsignal.h: Remove.
* include/edin.H1: Likewise.
* include/fnct_key.H1: Likewise.
* include/halloc.h: Likewise.
* include/hash.h: Likewise.
* include/prt.H1: Likewise.
* include/rgb.H1: Likewise.
* include/sockio.h: Likewise.
* include/util.h: Likewise.
* include/pixmap.h: Rename from pixmap.H1
|
|
* interp/i-output.boot (appChar): Fix thinko.
(outformWidth): Likewise.
(WIDTH): Likewise.
|
|
remove local modemaps.Likewise.
(clearLocalModemaps): Likewise. Tidy.
(reallyClearLocalModemaps): New. Remove dynamically generated
function definition for internal Lisp-level functions.
|
|
if generated is malformed or contains serious warnings.
* algebra/pfo.spad.pamphlet (PointsOfFiniteOrder) [cmult]: Merge
local conditional definitions.
* algebra/permgrps.spad.pamphlet (PermutationGroup) [cosetRep]:
Don't forget to return a value.
* algebra/newpoly.spad.pamphlet (RecursivePolynomialCategory)
[exactQuo]: Merge conditional local definitions.
[ZToR]: Inline at sole use point. Remove conditional definitions.
[QToR]: Likewise.
[PZToPR]: Likewise.
[PQToPR]: Likewise.
* algebra/naalgc.spad.pamphlet (FramedNonAssociativeAlgebra)
[leftRankPolynomial]: Initialize local variable xx.
(rightRankPolynomial): Likewise.
* algebra/multsqfr.spad.pamphlet (MultivariateSquareFree)
[intChoose]: Error if no solution is found in the loop.
* algebra/mts.spad.pamphlet (SparseMultivariateTaylorSeries): Tidy.
[stream] Remove duplicate definition.
* algebra/d01routine.spad.pamphlet (d01anfAnnaType) [measure]: Tidy.
(d01asfAnnaType) [measure]: Likewise.
* algebra/d01transform.spad.pamphlet (d01TransformFunctionType)
[measure]: Likewise.
* algebra/forttyp.spad.pamphlet (FortranScalarType) [coerce]: Likewise.
|
|
AbelianMonoid if element type satisfies AbelianMonoid.
Extend AbelianGroup if element type satisfies AbelianGroup.
Extend Module R if R satisfies CommutativeRing; remove bogus
Algebra R and CommutativeRing extension.
|
|
|
|
(compMatchAlternative): Generate %bind form.
(compMatch): Likewise.
(compReduce1): Rewrite.
(getIdentity): Tidy.
* interp/g-opt.boot (changeThrowToExit): HAndle %reduce.
(varIsAssigned): %store is side-effectful.
* interp/g-util.boot (expandReduce): New. Expand %reduce forms.
* interp/i-map.boot (getUserIdentifiersIn): Handle %reduce.
(findLocalVars1): Likewise.
* interp/i-spec1.boot (checkForFreeVariables): Likewise.
|
|
(declareUnusedParameters): Use it. Reimplement.
* interp/i-map.boot (compileCoerceMap): Adjust call.
* interp/i-spec1.boot (compileADEFBody): Likewise.
(mkIterFun): Likewise.
* interp/slam.boot (reportFunctionCompilation): Likewise.
(reportFunctionCacheAll): Likewise.
(compileRecurrenceRelation): Likewise.
|
|
foreign language.
(checkExternalEntity): Likewise.
(compSignatureImport): Likewise. Give foreign variables dummy values.
* interp/c-util.boot (middleEndExpand): Handle %true and %false.
* interp/g-util.boot (expandToVMForm): Likewise.
|
|
|
|
lowerCase?, upperCase?, readByte, readInteger, readLine,
writeByte, writeLine.
* interp/as.boot: Use them.
* interp/bc-matrix.boot: Likewise.
* interp/bc-solve.boot: Likewise.
* interp/br-con.boot: Likewise.
* interp/br-search.boot: Likewise.
* interp/br-util.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/database.boot: Likewise.
* interp/format.boot: Likewise.
* interp/fortcall.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/guess.boot: Likewise.
* interp/ht-root.boot: Likewise.
* interp/htcheck.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-util.boot: Likewise.
* interp/int-top.boot: Likewise.
* interp/intfile.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/msgdb.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/pspad1.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/scan.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/sys-utility.boot: Likewise.
* interp/topics.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/word.boot: Likewise.
|
|
to Application.
(npTypedForm): Replace Application with Quiver.
(npTypified): Likewise.
(npTagged): Use npTypedForm not npTypedForm1.
(npDiscrim): Now extend Relation, not Quiver.
(npMdef): Allow same LHS as npDef.
(npSingleRule): Likewise.
* boot/ast.boot: Replace CONCAT with strconc. Replace SYMBOL-NAME
with PNAME.
* boot/scanner.boot: Likewise.
* boot/translator.boot: Likewise.
|
|
(PARSE-LabelExpr): Remove.
* interp/newaux.lisp: Remove Nud property for << and >>.
|
|
compWithMappingMode.
(finishLambdaExpression): Likewise.
(compWithMappingMode): Restructure.
|
|
assignments to first and rest fields.
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/wi1.boot: Likewise.
|
|
src/
* lisp/core.lisp.in ($FilesToRetain): New. Export.
* lisp/Makefile.in: Tidy.
* boot/translator.boot (retainFile?): New.
(compileBootHandler): Use it.
|
|
* interp/ax.boot: Likewise.
* interp/br-con.boot: Likewise.
* interp/br-prof.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/br-search.boot: Likewise.
* interp/br-util.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/database.boot: Likewise.
* interp/cstream.boot: Likewise.
* interp/define.boot: Likewise.
* interp/diagnostics.boot: Likewise.
* interp/format.boot: Likewise.
* interp/fortcall.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-boot.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/i-analy.boot: Likewise.
* interp/i-coerce.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-intern.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/interop.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/msgdb.boot: Likewise.
* interp/newfort.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* interp/nrungo.boot: Likewise.
* interp/pathname.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/pspad1.boot: Likewise.
* interp/record.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
|
|
readable Lisp code.
|
|
* algebra/term.spad.pamphlet (retractIfCan$Arity): Tidy.
* algebra/tree.spad.pamphlet (cyclicCopy2$Tree): Remove
unnecessary "return".
|
|
(|check-union|): Likewise.
* interp/compiler.boot (coerceSuperset): Tidy. Generate %Retract
instruction.
* interp/g-opt.boot (optRetract): New.
|
|
partitions to domain Partitions.
* algebra/cycles.spad.pamphlet (CycleIndicators): User partitions
from Partition. Tidy.
|
|
* algebra/partperm.spad.pamphlet (PartitionsAndPermutations): Likewise.
* algebra/cycles.spad.pamphlet (complete$CycleIndicators): Now
take only positive integers.
(powerSum$CycleIndicators): Likewise.
(elementary$CycleIndicators): Likewise.
(alternating$CycleIndicators): Likewise.
(cyclic$CycleIndicators): Likewise.
(dihedral$CycleIndicators): Likewise.
(graphs$CycleIndicators): Likewise.
|
|
(compIntegerValue): Likewise.
(compStepIterator): Likewise.
(compIterate): Use it.
|
|
implementation. Reuse operations available from the
representation domain.
|
|
Rename from terms.
|
|
Rename from isTerm.
(simplify$PropositionalFormulaFunctions1): New.
|
|
(PropositionalFormulaFunctions2): Likewise.
|
|
* algebra/files.spad.pamphlet (closed$IOMode): Likewise.
|
|
(Environment): Likewise. Rename setProperty! to putProperty.
Rename setProperties! to putProperties.
|
|
argument. Pass to compOrCroak.
* interp/compiler.boot (compElt): Adjust call to genDeltaEntry.
(compCase1): Likewise.
(coerceByModemap): Likewise.
(autoCoerceByModemap): Likewise.
(compCat): Likewise.
(compViableModemap): Take an additional environment argument.
Pass it to genDeltaEntry.
(compApplyModemap): Adjust call to compViableModemap.
(compResolveCall): Likewise.
|
|
(optDeltaEntry): Use it.
|
|
($simpleVMoperators): Augment it.
(semiSimpleRelativeTo?): New.
(isSimpleVMForm): Use it.
* interp/c-util.boot (forwardingCall?): New.
(usesVariablesLinearly?): Likewise.
(expandableDefinition?): Likewise.
(foldSpadcall): Tidy.
(foldExportedFunctionReferences): If a function is discovered to
be expandable, make it so.
* interp/define.boot (spadCompileOrSetq): Tidy.
|
|
that are not instantiations.
|
|
|
|
assignment to $base.
(augModemapsFromCategory): Likewise.
|
|
item on $NRTdeltaList.
(NRTgetLocalIndex): Likewise. Tidy.
|
|
* interp/compiler.boot (processInlineRequest): Now accept any
functor.
* interp/c-util.boot (lookupFunctionInstance): New.
(isFormal): Likewise.
(expandFormTemplate): Likewise.
(equalFormTemplate): Likewise.
(getFunctionTemplate): Likewise.
(lookupInheritedDefiningFunction): Likewise.
(lookupDefiningFunction): Likewise.
* interp/nruncomp.boot (optDeltaEntry): Tidy. Use
lookupDefiningFunction.
|
|
Reimplement in terms of kernels.
* algebra/Makefile.pamphlet ($(OUT)/KERNEL.$(FASLEXT)): New
dependence rule.
($(OUT)PROPFRML.$(FASLEXT)): Likewise.
(axiom_algebra_layer_19): Move PROPFRML to...
(axiom_algebra_layer_6): ...here.
|
|
* algebra/algext.spad.pamphlet: Likewise.
* algebra/catdef.spad.pamphlet: Likewise.
* algebra/curve.spad.pamphlet: Likewise.
* algebra/d01agents.spad.pamphlet: Likewise.
* algebra/d02agents.spad.pamphlet: Likewise.
* algebra/ffcg.spad.pamphlet: Likewise.
* algebra/ffhom.spad.pamphlet: Likewise.
* algebra/ffnb.spad.pamphlet: Likewise.
* algebra/ffp.spad.pamphlet: Likewise.
* algebra/formula.spad.pamphlet: Likewise.
* algebra/fortmac.spad.pamphlet: Likewise.
* algebra/fortpak.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/forttyp.spad.pamphlet: Likewise.
* algebra/generic.spad.pamphlet: Likewise.
* algebra/kl.spad.pamphlet: Likewise.
* algebra/mathml.spad.pamphlet: Likewise.
* algebra/newdata.spad.pamphlet: Likewise.
* algebra/out.spad.pamphlet: Likewise.
* algebra/permgrps.spad.pamphlet: Likewise.
* algebra/pfo.spad.pamphlet: Likewise.
* algebra/regset.spad.pamphlet: Likewise.
* algebra/routines.spad.pamphlet: Likewise.
* algebra/setorder.spad.pamphlet: Likewise.
* algebra/sups.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/tex.spad.pamphlet: Likewise.
|
|
(transImplementation): Remove.
|
|
(compAtomWithModemap): Adjust call.
|
|
(revert$StreamTaylorSeriesOperations): Tidy.
|