From 07bc0e65800f715b1c1a162749f92513933c9857 Mon Sep 17 00:00:00 2001 From: Damien Doligez Date: Wed, 23 Apr 2014 09:05:59 +0000 Subject: [PATCH] update expected test results following commit 14660 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14663 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- testsuite/tests/typing-objects/Tests.ml.principal.reference | 4 ++-- testsuite/tests/typing-objects/Tests.ml.reference | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/testsuite/tests/typing-objects/Tests.ml.principal.reference b/testsuite/tests/typing-objects/Tests.ml.principal.reference index 76ade675562c..e4c72cda7fdb 100644 --- a/testsuite/tests/typing-objects/Tests.ml.principal.reference +++ b/testsuite/tests/typing-objects/Tests.ml.principal.reference @@ -244,9 +244,9 @@ Error: Signature mismatch: val f : (#c as 'a) -> 'a is not included in val f : #c -> #c -# Characters 32-55: +# Characters 38-39: module M = struct type t = int class t () = object end end;; - ^^^^^^^^^^^^^^^^^^^^^^^ + ^ Error: Multiple definition of the type name t. Names must be unique in a given structure or signature. # - : < m : (< m : 'a > as 'b) -> 'b as 'a; .. > -> 'b = diff --git a/testsuite/tests/typing-objects/Tests.ml.reference b/testsuite/tests/typing-objects/Tests.ml.reference index 97ed42ca7dbe..7940d0e34d73 100644 --- a/testsuite/tests/typing-objects/Tests.ml.reference +++ b/testsuite/tests/typing-objects/Tests.ml.reference @@ -244,9 +244,9 @@ Error: Signature mismatch: val f : (#c as 'a) -> 'a is not included in val f : #c -> #c -# Characters 32-55: +# Characters 38-39: module M = struct type t = int class t () = object end end;; - ^^^^^^^^^^^^^^^^^^^^^^^ + ^ Error: Multiple definition of the type name t. Names must be unique in a given structure or signature. # - : < m : (< m : 'a > as 'b) -> 'b as 'a; .. > -> 'b =