diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-08 01:52:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-08 01:52:52 +0000 |
| commit | a6bb66d5a34279f6b762cedc577155de6259ff30 (patch) | |
| tree | f55617c55134a7ac63b8ca4569e09498042febf3 /src/testsuite | |
| parent | f8913372cea43183d427cbe3d00c4967a840329b (diff) | |
| download | open-axiom-a6bb66d5a34279f6b762cedc577155de6259ff30.tar.gz | |
Fix SF/2799773
* 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.
Diffstat (limited to 'src/testsuite')
| -rw-r--r-- | src/testsuite/interpreter/sf-2799773.input | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/testsuite/interpreter/sf-2799773.input b/src/testsuite/interpreter/sf-2799773.input new file mode 100644 index 00000000..c22b4dfa --- /dev/null +++ b/src/testsuite/interpreter/sf-2799773.input @@ -0,0 +1,5 @@ +-- Contributed by Yue Li +-- Issue: OpenAxiom failed to check for duplicate fields +-- in Record or Unions. + +r : Record(a: Integer, a: Symbol) := [1, 's] --- expectred: error |