aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite/interpreter
AgeCommit message (Collapse)AuthorFilesLines
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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-08 00:31:52 +0000