Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
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.
|
|
* interp/sys-driver.boot (initializeGlobalState): Sey domain
representation inlining if requested.
* interp/c-util.boot (setCompilerOptimizations): Set domain
representation inlining if at optimization level 3.
* algebra/constant.spad.pamphlet (AlgebraicNumber): Remove
assignment to Rep. Tidy.
* algebra/Makefile.pamphlet: Add dependencies.
|
|
(optimizableDomain?): Likewise.
(optCallSpecially): Use it
* interp/compiler.boot (processInlineRequest): Likewise.
* interp/nruncomp.boot (optDeltaEntry): Likewise.
* interp/wi2.boot (optDeltaEntry): Likewise.
|
|
* interp/compiler.boot (compAtom): Don't use it.
* interp/wi1.boot (compAtom): Likewise.
|
|
(registerFunctionReplacement): Likewise.
* interp/define.boot (spadCompileOrSetq): Use it.
* interp/g-opt.boot (optSpecialCall): Likewise.
* interp/nruncomp.boot (optDeltaEntry): Likewise.
* interp/spad.lisp (|knownEqualPred|): Likewise.
* interp/wi2.boot (optDeltaEntry): Likewise.
|
|
|
|
(conjunction$PropositionalFormula): New exported function.
(disjunction$PropositionalFormula): Likewise.
|
|
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.
|
|
Include Void.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include VOID.
(axiom_algebra_layer_14): Loose it.
|
|
* 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.
|
|
functions used as constants.
* algebra/aggcat.spad.pamphlet (IndexedAggregate): Add parenthesis
for call to niladic function 'void'.
* algebra/algext.spad.pamphlet (SimpleAlgebraicExtension): Likewise.
* algebra/curve.spad.pamphlet (RadicalFunctionField): Likewise.
(AlgebraicFunctionField): Likewise.
* algebra/permgrps.spad.pamphlet (PermutationGroup): Likewise.
* algebra/pfo.spad.pamphlet (FunctionSpaceReduce): Likewise.
* algebra/setorder.spad.pamphlet: Likewise.
* algebra/ffcat.spad.pamphlet (FiniteFieldCategory): Add
parenthesis for call to niladic function 'representationType'.
* algebra/ffnb.spad.pamphlet
(FiniteFieldNormalBasisExtensionByPolynomial): Likewise for
normalElement.
* algebra/float.spad.pamphlet (Float): Likewise for OMencodingXML,
pi, log2, log10, digits.
* algebra/fnla.spad.pamphlet (FreeNilpotentLie): Likewise for
dimension.
* algebra/fraction.spad.pamphlet (Fraction): Likewise for
OMencodingXML.
* algebra/gaussian.spad.pamphlet (Complex): Likewise.
* algebra/integer.spad.pamphlet (Integer): Likewise.
* algebra/list.spad.pamphlet (List): Likewise.
* algebra/sf.spad.pamphlet (DoubleFloat): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* algebra/string.spad.pamphlet (String): Likewise.
* algebra/symbol.spad.pamphlet (Symbol): Likewise.
* algebra/intrf.spad.pamphlet (TranscendentalIntegration):
Likewise for empty.
* algebra/kl.spad.pamphlet (SortedCache): Likewise for cache, void.
* algebra/newdata.spad.pamphlet (TabulatedComputationPackage):
Likewise for usingTable?.
* algebra/omserver.spad.pamphlet (OpenMathServerPackage): Likewise
for OMencodingUnknown.
* algebra/plot.spad.pamphlet (Plot): Likewise for adaptive?.
* algebra/plot3d.spad.pamphlet (Plot3D): Likewise for adaptive3D?.
|
|
(transImplementation): Remove.
|
|
(compAtomWithModemap): Adjust call.
|
|
* interp/nruncomp.boot (deltaTran): Avoid use of user-visible
names for compiler internal tags.
(genDeltaEntry): Likewise.
(NRTassocIndex): Likewise.
(NRTgetLocalIndex): Likewise.
(NRTsubstDelta): Likewise.
* interp/wi2.boot (genDeltaEntry): Likewise.
|
|
(revert$StreamTaylorSeriesOperations): Tidy.
|
|
in CLisp-2.48.
|
|
|
|
* interp/clam.boot (lassocShift): Don't use it.
(lassocShiftWithFunction): Likewise.
(lassocShiftQ): Likewise.
|
|
|
|
(SFP): Likewise.
* interp/i-syscmd.boot (compileAsharpCmd1): Use getEnv, not GETENV.
|
|
|
|
|
|
* lisp/core.lisp.in: Add support for Clozure CL.
(main): Remove as unused.
* driver/utils.h (openaxiom_runtime): Add openaxiom_clozure_runtime.
* boot/translator.boot (loadNativeModule): Handle Clozure CL.
* boot/ast.boot (nativeType): Handle Clozure's FFI types.
(nativeReturnType): Likewise.
(coerceToNativeType): Likewise.
(genCLOZUREnativeTranslation): New.
(genImportDeclaration): Use it.
* interp/vmlisp.lisp (SINTP): Remove duplicate definition.
(SMINTP): Likewise.
(ZERO?): Likewise.
(GCMSG): Reorganize definition.
(BPINAME): Likewise.
|
|
* interp/fname.lisp: Likewise.
* interp/foam_l.lisp: Likewise.
* interp/macros.lisp: Likewise.
* interp/nlib.lisp: Likewise.
* interp/patches.lisp: Likewise.
* interp/sfsfun-l.lisp: Likewise.
* interp/spad.lisp: Likewise.
* interp/util.lisp: Likewise.
* interp/vmlisp.lisp: Likewise.
|
|
|
|
|
|
* hyper/addfile.c (strpostfix): Simplify.
|
|
|
|
|
|
(SpadAstExports): Add case for StepAst.
(SpadAst): Implement.
|
|
|
|
* algebra/syntax.spad.pamphlet (ParameterAst): New.
(HeadAst): Use it.
* testsuite/interpreter/sf-2893009.input: Likewise.
* testsuite/interpreter/sf-2893009.spad: New.
|
|
|
|
(modemap2Sig): Use pairList.
* interp/compiler.boot (applyMapping): Likewise.
* interp/database.boot (augLisplibModemapsFromCategory): Likewise.
(getOplistForConstructorForm): Likewise.
* interp/define.boot (compDefineCategory2): Likewise.
(compDefineFunctor1): Likewise.
(mkOpVec): Likewise.
* interp/lisplib.boot (finalizeLisplib): Likewise.
* interp/nruncomp.boot (mkSlot1sublis): Likewise.
* interp/wi1.boot (compDefineCategory2): Likewise.
* interp/wi2.boot (compDefineFunctor1): Likewise.
|
|
(SegmentBinding): Tidy.
* algebra/exposed.lsp.pamphlet (RangeBinding): Expose.
* algebra/Makefile.pamphlet (axiom_algebra_layer_19): Include
RNGBIND.
|
|
* interp/functor.boot (SetFunctionSlots): Simplify.
(SigSlotsMatch): Likewise.
(CheckVector): Remove.
(makeMissingFunctionEntry): Refer to $SetFunctions.
|
|
|
|
BiModule(Coef,Coef). Remove duplicate exports. Use rep and per
operators.
|
|
* share/Makefile.in (FILES): Update.
($(axiom_target_texdir)/open-axiom.sty): New rule.
* lib/cfuns-c.c (oa_spawn)[__WIN32__]: Return exit status if in
overlay mode.
* include/open-axiom.h (OPENAXIOM_TEXINPUTS_PATH): Tidy.
(OPENAXIOM_BIBINPUTS_PATH): Likewise.
* driver/utils.c (print_usage): Document --execute option.
|
|
|
|
* include/open-axiom.h (openaxiom_ifs): New.
(OPENAXIOM_TEXINPUTS_PATH): Likewise.
(OPENAXIOM_BIBINPUTS_PATH): Likewise.
* driver/main.c (augment_variable): New.
(upgrade_environment): Likewise. Call publish_systemdir.
(main): Call it instead of publish_systemdir. Handle 'spawn' driver.
* driver/utils.h (openaxiom_execute_driver): New kind of driver.
* driver/utils.c (openaxiom_preprocess_arguments): Tidy.
(openaxiom_execute_core): Likewise.
* sman/sman.c (process_arguments): Likewise.
(process_options): Likewise.
|
|
|
|
|