Age | Commit message (Collapse) | Author | Files | Lines |
|
* interp/setvars.boot (setOutputFortran): Transform pathname from
symbol to string.
* testsuite/interpreter/sf-2754400.input: New.
|
|
* interp/sys-os.boot ($NaNvalue): Fix typo.
* testsuite/interpreter/sf-2749682.input: New.
|
|
* algebra/catdef.spad.pamphlet (exquo$EuclideanDomain): Return 0
if first argument is 0.
* algebra/integer.spad.pamphlet (exquo$Integer): Remove.
* testsuite/interpreter/aw-103.input: New.
|
|
Gabriel Dos Reis <gdr@cs.tamu.edu>
Fix AW/441
* algebra/defintrf.spad.pamphlet
(findRealZero$DefiniteIntegrationTools): Deal with simple zeros.
* testsuite/interpreter/aw-441.input: New.
|
|
* interp/i-coerfn.boot (Dmp2P): Scalar tag is 0 for Polynomial T.
* testsuite/interpreter/aw-83.input (a): New.
|
|
* interp/i-syscmd.boot (displayValue): Fix thinko.
* testsuite/interpreter/sf-2491986.input (a): New.
|
|
constructors.
(evaluateType): Likewise.
* interp/i-spec2.boot (isType): Reject unsaturated constructors.
|
|
(newHasTest): Use it to handle signature export test.
* testsuite/interpreter/has.input: New.
|
|
* algebra/gaussian.spad.pamphlet (ComplexCategory): Remove complex
attribute.
|
|
* interp/i-syscmd.boot (displaySpad2Cmd): Handle constructor
abbreviation.
|
|
* algebra/laplace.spad.pamphlet (lapkernel): Handle derivatives.
|
|
* algebra/fspace.spad.pamphlet (smprep$FunctionSpace): Fix thinko
|
|
* algebra/fspace.spad.pamphlet (isExpt): Tidy.
* algebra/algfunc.spad.pamphlet (inroot): Likewise.
|
|
* interp/i-spec1.boot (upDeclare): Fields are not declarations.
* interp/i-map.boot (getUserIdentifiersIn): Ignore field names.
* testsuite/interpreter/aw-422.input: New.
|
|
|
|
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of
SetCategory.
(Domain): Likewise.
* share/algebra: Update databases.
* testsuite/interpreter/aw-428.input: New.
|
|
* interp/i-spec2.boot (uphas): When compiling a function, don't
bother evaluating type variables.
* testsuite/interpreter/aw-412.input: Add.
|
|
Category are conceptually abstract.
* testsuite/interpreter/category.input: Add a testcase.
|
|
* testsuite/interpreter/show.input: New.
|
|
(getValueNormalForm): New.
* interp/i-code.boot (intCodeGenCOERCE): Use it.
* interp/i-coerce.boot (coerceIntByMap): Likewise.
* interp/i-eval.boot (getArgValue): Likewise.
(getArgValue2): Likewise.
* interp/i-funsel.boot (selectMms): Likewise.
* interp/i-map.boot (rewriteMap): Likewise.
* interp/i-spec2.boot (IFcodeTran): Likewise.
(evalLET): Likewise.
(upreturn): Likewise.
* interp/g-cndata.boot (isConstructorName): New.
* testsuite/interpreter/eval-dep-type.input: New.
|
|
* interp/i-spec1.boot (compileADEFBody): Don't evaluate unnamed
functions. Compile them instead.
* testsuite/interpreter/aw-272.input: New.
|
|
* interp/i-spec1.boot (upand): Don't insist on having operands of
type Boolean.
(upor): Likewise.
* algebra/mkrecord.spad.pamphlet (Pair): New domain constructor.
* algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic,
PropositionalFormula.
* algebra/boolean.spad.pamphlet (PropositionalFormula): New domain
constructor.
* algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include
PAIR.o.
(axiom_algebra_layer_19): Include PROPFRML.o
* share/algebra: Update databases.
* testsuite/interpreter/1849734.input: New.
|
|
|
|
* interp/compiler.boot (coerceExtraHard): Always coerce by
autoCoerce.
* testsuite/interpreter/case.spad: Likewise.
* testsuite/interpreter/case.input: New.
|
|
* algebra/domain.spad (reify$Domain): Specify target type of
conversion.
* interp/nrunfast.boot (newLookupInDomain): Tidy.
(newLookupInCategories): Likewise.
* testsuite/interpreter/1852076.input: New.
|