aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite/interpreter
AgeCommit message (Collapse)AuthorFilesLines
2009-06-08 Fix SF/2799773dos-reis1-0/+5
* interp/c-util.boot (diagnoseUnknownType): Diagnose duplicate fields in Record or Union, or duplicate constants in Enumeration. * interp/i-eval.boot (checkRecordOrUnionFields): New. (evaluateType): Use it. * testsuite/interpreter/sf-2799773.input: New.
2009-05-29 Fix SF/2798220dos-reis1-0/+3
* 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.
2009-05-25 Partial fix for AW/193 and AW/334.dos-reis2-0/+14
* 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.
2009-04-12 Fix SF/2754400dos-reis1-0/+6
* interp/setvars.boot (setOutputFortran): Transform pathname from symbol to string. * testsuite/interpreter/sf-2754400.input: New.
2009-04-11 Fix SF/2749682dos-reis1-0/+1
* interp/sys-os.boot ($NaNvalue): Fix typo. * testsuite/interpreter/sf-2749682.input: New.
2009-02-08 Fix AW/103dos-reis1-0/+3
* 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.
2009-02-052009-02-04 Waldek Hebisch <hebisch@math.uni.wroc.pl>dos-reis1-0/+2
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.
2009-01-31 Fix AW/83dos-reis1-0/+5
* interp/i-coerfn.boot (Dmp2P): Scalar tag is 0 for Polynomial T. * testsuite/interpreter/aw-83.input (a): New.
2009-01-11 Fix SF/2491986dos-reis1-0/+4
* interp/i-syscmd.boot (displayValue): Fix thinko. * testsuite/interpreter/sf-2491986.input (a): New.
2008-12-22 * interp/i-eval.boot (evaluateType0): Check for builtindos-reis1-0/+7
constructors. (evaluateType): Likewise. * interp/i-spec2.boot (isType): Reject unsaturated constructors.
2008-11-18 * interp/nrunfast.boot (resolveNiladicConstructors): New.dos-reis1-0/+18
(newHasTest): Use it to handle signature export test. * testsuite/interpreter/has.input: New.
2008-10-18 Fix AW/293dos-reis1-0/+3
* algebra/gaussian.spad.pamphlet (ComplexCategory): Remove complex attribute.
2008-10-17 Fix AW/410dos-reis1-0/+3
* interp/i-syscmd.boot (displaySpad2Cmd): Handle constructor abbreviation.
2008-10-16 Fix AW/101dos-reis1-0/+2
* algebra/laplace.spad.pamphlet (lapkernel): Handle derivatives.
2008-10-14 Fix AW/338dos-reis1-0/+3
* algebra/fspace.spad.pamphlet (smprep$FunctionSpace): Fix thinko
2008-10-14 Fix AW/23dos-reis1-0/+7
* algebra/fspace.spad.pamphlet (isExpt): Tidy. * algebra/algfunc.spad.pamphlet (inroot): Likewise.
2008-08-10 Fix AW/422dos-reis1-0/+6
* interp/i-spec1.boot (upDeclare): Fields are not declarations. * interp/i-map.boot (getUserIdentifiersIn): Ignore field names. * testsuite/interpreter/aw-422.input: New.
2008-08-10(no commit message)dos-reis1-0/+1
2008-07-03 Fix AW/428dos-reis1-0/+5
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of SetCategory. (Domain): Likewise. * share/algebra: Update databases. * testsuite/interpreter/aw-428.input: New.
2008-05-29 Fix AW/421.dos-reis1-0/+3
* interp/i-spec2.boot (uphas): When compiling a function, don't bother evaluating type variables. * testsuite/interpreter/aw-412.input: Add.
2008-05-29 * interp/i-analy.boot (conceptualType): Only Mode, Domain, anddos-reis1-0/+10
Category are conceptually abstract. * testsuite/interpreter/category.input: Add a testcase.
2008-05-29 * interp/showimp.boot (showPredicates): Fix typo.dos-reis1-0/+1
* testsuite/interpreter/show.input: New.
2008-05-18 * interp/i-object.boot (wrapped2Quote): Reomve.dos-reis1-0/+1
(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.
2008-01-25 Fix AW/272dos-reis1-0/+18
* interp/i-spec1.boot (compileADEFBody): Don't evaluate unnamed functions. Compile them instead. * testsuite/interpreter/aw-272.input: New.
2008-01-17 Fix SF/1849734dos-reis1-0/+6
* 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.
2008-01-17extend the case.spad case.input to test the whole Syntax domain.chaosii2-0/+60
2008-01-15 * algebra/syntax.spad (autoCoerce$Syntax): Add overloads.dos-reis2-0/+15
* interp/compiler.boot (coerceExtraHard): Always coerce by autoCoerce. * testsuite/interpreter/case.spad: Likewise. * testsuite/interpreter/case.input: New.
2008-01-13 Fix SF/1852076dos-reis1-0/+3
* algebra/domain.spad (reify$Domain): Specify target type of conversion. * interp/nrunfast.boot (newLookupInDomain): Tidy. (newLookupInCategories): Likewise. * testsuite/interpreter/1852076.input: New.