diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-08-12 15:41:27 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-08-12 15:41:27 +0000 |
| commit | 815a3dd23ed8b52fea39222b99d5a0505ec76b79 (patch) | |
| tree | a6a6ca77dea70281d731752174363b87cab3c0ca | |
| parent | 67151820dcdfcab45f4d27369e6846c14bb2f5e1 (diff) | |
| download | ocaml-815a3dd23ed8b52fea39222b99d5a0505ec76b79.tar.gz | |
Accept test result.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15084 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | testsuite/tests/typing-recordarg/recordarg.ml.reference | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typing-recordarg/recordarg.ml.reference b/testsuite/tests/typing-recordarg/recordarg.ml.reference index 4a5165d024..35c443b72c 100644 --- a/testsuite/tests/typing-recordarg/recordarg.ml.reference +++ b/testsuite/tests/typing-recordarg/recordarg.ml.reference @@ -57,4 +57,16 @@ Error: In module M: type exn += A is not included in type exn += A of { x : int; } +# module X1 : sig type t = .. end +# module X2 : sig type t = .. end +# Characters 62-75: + type X2.t += A of {x: int} + ^^^^^^^^^^^^^ +Error: Multiple definition of the type name t.A. + Names must be unique in a given structure or signature. +# Characters 107-108: + type t = A of {x: int} (* BUG: this should be rejected *) + ^ +Error: Multiple definition of the type name t.A. + Names must be unique in a given structure or signature. # |