diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-17 14:27:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-17 14:27:29 +0000 |
| commit | 15dcc4936996a27019112ff58e9202a81d792047 (patch) | |
| tree | 1e49da404b12b46c30989feac07e26f87f4810ba /src/testsuite | |
| parent | f5ba07e55ec584939b62a3887c2ff7ebf8083759 (diff) | |
| download | open-axiom-15dcc4936996a27019112ff58e9202a81d792047.tar.gz | |
Fix SF/1849734
* 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.
Diffstat (limited to 'src/testsuite')
| -rw-r--r-- | src/testsuite/interpreter/1849734.input | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/testsuite/interpreter/1849734.input b/src/testsuite/interpreter/1849734.input new file mode 100644 index 00000000..ca1eb28f --- /dev/null +++ b/src/testsuite/interpreter/1849734.input @@ -0,0 +1,6 @@ +++ Contributed by Gabriel Dos Reis +-- Issue: the interpreter should allow overload of logical operators. +a := 2::OutputForm +b := 4::OutputForm +a and b + |