Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
* interp/compiler.boot (compElt): Fix thinko, one more time.
* interp/nruncomp.boot (optDeltaEntry): Don't overquote VM forms
for constants.
* algebra/algext.spad.pamphlet: Call niladic functions with empty
argument lists.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/gpgcd.spad.pamphlet: Likewise.
* algebra/modmon.spad.pamphlet: Likewise.
* algebra/pf.spad.pamphlet: Likewise.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/twofact.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: "nil" is now a ocnstant.
* algebra/string.spad.pamphlet: "space", "quote", "escape" are now
constants.
|
|
* boot/ast.boot: Use "~=" instead of "^=".
* boot/includer.boot: Likewise.
* boot/translator.boot: Likewise.
* interp/as.boot: Likewise.
* interp/bc-misc.boot: Likewise.
* interp/bc-solve.boot: Likewise.
* interp/bc-util.boot: Likewise.
* interp/br-con.boot: Likewise.
* interp/br-data.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-op2.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/c-util.boot: Likewise.
* interp/category.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/database.boot: Likewise.
* interp/define.boot: Likewise.
* interp/format.boot: Likewise.
* interp/fortcall.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-cndata.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/g-timer.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/guess.boot: Likewise.
* interp/ht-root.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/i-analy.boot: Likewise.
* interp/i-code.boot: Likewise.
* interp/i-coerce.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-eval.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-intern.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-resolv.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/i-util.boot: Likewise.
* interp/int-top.boot: Likewise.
* interp/interop.boot: Likewise.
* interp/intfile.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/macex.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/match.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/msg.boot: Likewise.
* interp/msgdb.boot: Likewise.
* interp/newfort.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* interp/nrungo.boot: Likewise.
* interp/nrunopt.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/pathname.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/profile.boot: Likewise.
* interp/pspad1.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/record.boot: Likewise.
* interp/scan.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/simpbool.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/topics.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
* interp/word.boot: Likewise.
|
|
* interp/format.boot (form2Fence1): Likewise.
(form2FenceQuote): Likewise.
|
|
OpenAxiom.
src/
Fix SF/2798962
* interp/c-doc.boot (checkDecorate): Don't insert formatting
braces in Spad mode.
|
|
|
|
* interp/fnewmeta.lisp (PARSE-Jump): New.
* interp/compiler.boot (compAtom): Dipatch compilation of "break"
and "iterate" to...
(compBreak): ... here
(compIterate): and here.
(jumpFromLoop): New.
(compRepeatOrCollect): Initialize $lookKind, $iterateCount, and
$breakCount. Set exit point for loop bodies with 'iterate'
expressions.
* interp/parse.boot (parseAtom): Remove.
(parseTran): Adjust.
* algebra/outform.spad.pamphlet: Tidy.
* interp/c-util.boot ($loopKind): Declare.
($repeatBodyLabel): Likewise.
($iterateCount): Likewise.
($breakCount): Likewise.
|
|
(mkDefun$MakeFloatCompiledFunction): Tidy.
* interp/c-util.boot (declareUnusedParameters): New.
* interp/i-map.boot: Use it.
* interp/i-spec1.boot: Likewise.
* interp/slam.boot: Likewise.
* lib/cfuns-c.c (writeablep): Document MinGW/MSYS bug work around.
|
|
* algebra/mkfunc.spad.pamphlet:
|
|
* contrib/texmacs: New.
|
|
(COLLECTVEC): Likewise.
* interp/compiler.boot (compRepeatOrCollect): Tidy.
|
|
* configure.ac.pamphlet: Support --enable-profiling.
* config/var-def.mk (oa_yesno_to_lisp_boolean): New.
(oa_enable_profiling): Likewise.
(oa_enable_lisp_profiling): Likewise.
src/
* lisp/Makefile.in (edit): Substitute for oa_enable_profiling.
* lisp/core.lisp.in ($EnableLispProfiling): New.
(compileLispFile): Use it.
|
|
SETELT.
|
|
getSimpleArrayEntry instead of ELT.
|
|
* interp/i-spec1.boot (evalCOLLECT): Fix thinko.
|
|
(SourceLevelSubsume): Remove.
(SourceLevelSubset): Likewise.
* interp/sys-globals.boot: Likewise.
* interp/define.boot: Tidy.
* interp/functor.boot: Likewise.
* interp/info.boot: Likewise.
* algebra/si.spad.pamphlet: Don't set $noSubsets.
* algebra/fortpak.spad.pamphlet: Don't set $noSubsumption.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/gdirprod.spad.pamphlet: Likewise.
* algebra/mkfunc.spad.pamphlet: Likewise.
* algebra/oct.spad.pamphlet: Likewise.
* algebra/vector.spad.pamphlet: Likewise.
|
|
* interp/compiler.boot (compRecoverDomain): New. Split from
compRecoverGuard.
(compRecoverGuard): Split. Handle existential type recovery.
(compScheme): New. Register as compiler.
* interp/g-opt.boot (optLET*): New. Turn into LET-form if
appropriate. Register as backend transformer.
* interp/fnewmeta.lisp (|PARSE-Scheme|): New.
(|PARSE-Quantifier|): Likewise.
(|PARSE-QuantifiedVariableList|): Likewise.
(|PARSE-QuantifiedVariable|): Likewise.
* interp/metalex.lisp (KEYWORDS): Add 'forall' and 'exist' as new
keywords.
* interp/newaux.lisp: Register parser for expression schemes.
* algebra/any.spad.pamphlet (=$Any): If the underlying domain has
BasicType, use that equality operator.
(coerce$Any): If the underlying domain has CoercibleTo OutputForm
then use it.
|
|
|
|
* interp/i-funsel.boot (findFunctionInDomain): Don't look into
categories.
* interp/i-coerce.boot (retract): Retract domain objects too.
(retract1): Do it.
(coerceInteractive): Likewise.
* interp/nrunfast.boot (getDomainCategoriesVector): New.
(getDomainCompleteCategories): Likewise.
|
|
at capsule function scope.
|
|
* interp/i-funsel.boot (hasCaty): Recursively look into Joins.
* interp/interop.boot (newHasCategory): Likewise.
* interp/compiler.boot (compHasFormat): Handle unnamed categories.
* interp/info.boot (knownInfo): Likewise.
|
|
* interp/define.boot (doIt): Tidy conditional case.
* boot/tokens.boot: 'fourth' is a now a builtin function.
|
|
(FunctorData): Likewise.
(functorData$DomainConstructor): Likewise.
|
|
* interp/parse.boot (parseReturn): Remove.
* interp/compiler.boot (compReturn): Tidy.
|
|
* algebra/op.spad.pamphlet (BasicOperator): Don't export is? here.
Inherit it from OperatorCategory Symbol.
* algebra/catdef.spad.pamphlet (LeftLinearSet): New category.
(RightLinearSet): Likewise.
(LinearSet): Likewise.
(AbelianGroup): Extend LeftLinearSet Integer.
(LeftModule): Extend LeftLinearSet R.
(Module): Extend LinearSet R.
(RightModule): Extend RightLinearSet R.
* algebra/exposed.lsp.pamphlet: Expose LeftLinearSet,
RightLinearSet, and LinearSet.
* algebra/Makefile.pamphlet: Tidy.
|
|
* algebra/fmod.spad.pamphlet (IntegerMod): Define before?
* algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial):
Likewise.
* algebra/pf.spad.pamphlet (InnerPrimeField): Likewise.
* testsuite/interpreter/sf-2798220.input: New.
|
|
* interp/sys-constants.boot ($OperatorFunctionNames): Include /\
and \/.
* interp/fnewmeta.lisp (|PARSE-ReductionOp|): Tidy.
* interp/metalex.lisp (|PARSE-OperatorFunctionName|): Likewise.
* algebra/boolean.spad.pamphlet (PropositionalLogic): Use plain
syntax for operators.
(Logic): Likewise.
(Boolean): Likewise.
(KleeneTrivalentLogic): Likewise.
|
|
* algebra/algfunc.spad.pamphlet: Remove OrderedSet requirements.
* algebra/combfunc.spad.pamphlet: Likewise.
* algebra/defintef.spad.pamphlet: Likewise.
* algebra/defintrf.spad.pamphlet: Likewise.
* algebra/degred.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/elemntry.spad.pamphlet: Likewise.
* algebra/expexpan.spad.pamphlet: Likewise.
* algebra/expr.spad.pamphlet: Likewise.
* algebra/expr2ups.spad.pamphlet: Likewise.
* algebra/exprode.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/fr.spad.pamphlet: Likewise.
* algebra/fraction.spad.pamphlet: Likewise.
* algebra/fs2expxp.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/funcpkgs.spad.pamphlet: Likewise.
* algebra/gaussian.spad.pamphlet: Likewise.
* algebra/genups.spad.pamphlet: Likewise.
* algebra/intalg.spad.pamphlet: Likewise.
* algebra/intef.spad.pamphlet: Likewise.
* algebra/integrat.spad.pamphlet: Likewise.
* algebra/intpm.spad.pamphlet: Likewise.
* algebra/irexpand.spad.pamphlet: Likewise.
* algebra/kl.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/manip.spad.pamphlet: Likewise.
* algebra/nlode.spad.pamphlet: Likewise.
* algebra/odeef.spad.pamphlet: Likewise.
* algebra/oderf.spad.pamphlet: Likewise.
* algebra/openmath.spad.pamphlet: Likewise.
* algebra/patmatch1.spad.pamphlet: Likewise.
* algebra/patmatch2.spad.pamphlet: Likewise.
* algebra/pfo.spad.pamphlet: Likewise.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/primelt.spad.pamphlet: Likewise.
* algebra/rdeef.spad.pamphlet: Likewise.
* algebra/rdesys.spad.pamphlet: Likewise.
* algebra/rule.spad.pamphlet: Likewise.
* algebra/solverad.spad.pamphlet: Likewise.
* algebra/sum.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
* testsuite/interpreter/aw-193.input: New.
* testsuite/interpreter/aw-334.input: Likewise.
|
|
|
|
|
|
|
|
|
|
|
|
libraries.
* config: Update autotools to newer versions.
src/
* algebra/kl.spad.pamphlet (MakeCachableSet): Remove.
* algebra/Makefile.pamphlet (axiom_algebra_layer_6): Don't build it.
|
|
(optCall): Use it.
(optSpecialCall): Likewise.
(optSPADCALL): Tidy.
|
|
a version that takes an identifier.
(deleteProperty$BasicOpetrator): Likewise.
(setProperty$BasicOperator): Likewise.
|
|
* interp/sys-constants.boot ($Primitives): Remove.
* interp/br-con.boot (conOpPage1): Replace $Primitives by
$DomainNames.
(dbShowConsDoc1): Likewise.
* interp/buildom.boot ($nonLisplibDomains): Likewise.
* interp/br-op2.boot (kFormatSlotDomain): isConstructorName.
* interp/br-saturn.boot (bfConform1): Handle string literals as
constructor arguments.
|
|
construction.
* interp/i-coerfn.boot (L2Tuple): Likewise.
* interp/i-object.boot (asTupleNew): Likewise.
(asTupleNew0): Likewise.
(asTupleNewCode): Likewise.
(asTupleNewCode0): Likewise.
* interp/i-spec1.boot (evalCOLLECT): Likewise.
(interpCOLLECT): Likewise.
* interp/i-spec2.boot (evalTuple): Likewise.
(upNullTuple): Likewise.
|
|
|
|
|
|
(compAtom): Allow implicit coercion to IO forms for values of
fundamental types.
(compSymbol): Likewise.
(compQuote): Likewise.
* algebra/aggcat.spad.pamphlet (coerce$BinaryRecursiveAggregate):
Don't hard code empty bracket.
|
|
|
|
* interp/i-output.boot (parms2String): New.
(inputForm2String): Handle anonymous functions.
|
|
* Makefile.pamphlet (all-input): Make all-doc a requirement.
(all-doc): Tidy.
* doc/Makefile.in: Likewise. Install help files.
* doc/help: New. Home for help files.
|
|
* interp/sys-driver.boot (systemMain): Explicitly call toplevel
REPL for SBCL- and ECL-based builds.
* interp/i-toplev.boot (start): Don't special case SBCL here.
* interp/int-top.boot (spad): Likewise.
(intloop): Tidy call to SpadInterpretStream.
(SpadInterpretStream): Don't store to $fn.
* interp/msg.boot (toFile?): Don't check for $fn.
|
|
* lisp/core.lisp.in (associateRequestWithFileType): Remember
FILE-TYPE as default value for REQUEST.
(|processCommandLine|): Standard options have length at least 2.
(|handleCommandLine|): Use default file type if non is present.
|
|
* hyper/Makefile.in (${OUTLIB}/htsearch): Insist on execution bit.
(${OUTLIB}/presea): Likewise.
|
|
* interp/sys-os.boot ($NaNvalue): Fix typo.
* testsuite/interpreter/sf-2749682.input: New.
|
|
* configure.ac.pamphlet: Recognize dragonfly triplet as BSD-flavour.
|
|
Croak on missing digit after radix.
(scanNumber): Don't ask for implicit 0 completion for explicit
radix integers.
* interp/int-top.boot (phInterpret): Don't bother evaluating
expressions if earlier phases saw errors.
* interp/msg.boot (getStFromMsg): Fix typo.
|