new warning for black holes

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6703 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

2 files changed, 18 insertions, 18 deletions

diff --git a/testlabl/poly.exp b/testlabl/poly.exp
index 539887b20..4d8c1b780 100644
--- a/testlabl/poly.exp
+++ b/testlabl/poly.exp
@@ -1,4 +1,4 @@
-        Objective Caml version 3.09+dev4 (2004-10-13)
+        Objective Caml version 3.09+dev9 (2004-11-29)
 
 #   * * *       #   type 'a t = { t : 'a; }
 # type 'a fold = { fold : 'b. f:('b -> 'a -> 'b) -> init:'b -> 'b; }
@@ -263,23 +263,23 @@ type 'a u = A of 'a t
 # - : t * [< `A | `B ] -> int = <fun>
 # - : [< `A | `B ] * t -> int = <fun>
 # Characters 0-41:
-Warning: this pattern-matching is not exhaustive.
+Warning P: this pattern-matching is not exhaustive.
 Here is an example of a value that is not matched:
 (`AnyExtraTag, `AnyExtraTag)
 - : [> `A | `B ] * [> `A | `B ] -> int = <fun>
 # Characters 0-29:
-Warning: this pattern-matching is not exhaustive.
+Warning P: this pattern-matching is not exhaustive.
 Here is an example of a value that is not matched:
 (_, 0)
 Characters 21-24:
-Warning: this match case is unused.
+Warning U: this match case is unused.
 - : [ `B ] * int -> int = <fun>
 # Characters 0-29:
-Warning: this pattern-matching is not exhaustive.
+Warning P: this pattern-matching is not exhaustive.
 Here is an example of a value that is not matched:
 (0, _)
 Characters 21-24:
-Warning: this match case is unused.
+Warning U: this match case is unused.
 - : int * [ `B ] -> int = <fun>
 #       Characters 69-135:
 Constraints are not satisfied in this type.
@@ -318,8 +318,8 @@ type bt = 'a ca cb as 'a
 # val f : unit -> c = <fun>
 # val f : unit -> c = <fun>
 # Characters 11-60:
-Warning: the following private methods were made public implicitly:
-  n
+Warning X: the following private methods were made public implicitly:
+  n .
 val f : unit -> < m : int; n : int > = <fun>
 # Characters 11-56:
 This object is expected to have type c but has actually type
diff --git a/testlabl/poly.exp2 b/testlabl/poly.exp2
index 87e3d9905..932357746 100644
--- a/testlabl/poly.exp2
+++ b/testlabl/poly.exp2
@@ -1,4 +1,4 @@
-        Objective Caml version 3.09+dev4 (2004-10-13)
+        Objective Caml version 3.09+dev9 (2004-11-29)
 
 #   * * *       #   type 'a t = { t : 'a; }
 # type 'a fold = { fold : 'b. f:('b -> 'a -> 'b) -> init:'b -> 'b; }
@@ -144,9 +144,9 @@ This method has type 'a -> 'a which is less general than 'b. 'b -> 'b
 #   Characters 24-28:
 This expression has type bool but is here used with type int
 #   Characters 27-31:
-Warning: This use of a polymorphic method is not principal
+Warning X: this use of a polymorphic method is not principal.
 Characters 35-39:
-Warning: This use of a polymorphic method is not principal
+Warning X: this use of a polymorphic method is not principal.
 val f4 : id -> int * bool = <fun>
 #           class c : object method m : #id -> int * bool end
 #             class id2 : object method id : 'a -> 'a method mono : int -> int end
@@ -270,23 +270,23 @@ type 'a u = A of 'a t
 # - : t * [< `A | `B ] -> int = <fun>
 # - : [< `A | `B ] * t -> int = <fun>
 # Characters 0-41:
-Warning: this pattern-matching is not exhaustive.
+Warning P: this pattern-matching is not exhaustive.
 Here is an example of a value that is not matched:
 (`AnyExtraTag, `AnyExtraTag)
 - : [> `A | `B ] * [> `A | `B ] -> int = <fun>
 # Characters 0-29:
-Warning: this pattern-matching is not exhaustive.
+Warning P: this pattern-matching is not exhaustive.
 Here is an example of a value that is not matched:
 (_, 0)
 Characters 21-24:
-Warning: this match case is unused.
+Warning U: this match case is unused.
 - : [ `B ] * int -> int = <fun>
 # Characters 0-29:
-Warning: this pattern-matching is not exhaustive.
+Warning P: this pattern-matching is not exhaustive.
 Here is an example of a value that is not matched:
 (0, _)
 Characters 21-24:
-Warning: this match case is unused.
+Warning U: this match case is unused.
 - : int * [ `B ] -> int = <fun>
 #       Characters 69-135:
 Constraints are not satisfied in this type.
@@ -325,8 +325,8 @@ type bt = 'a ca cb as 'a
 # val f : unit -> c = <fun>
 # val f : unit -> c = <fun>
 # Characters 11-60:
-Warning: the following private methods were made public implicitly:
-  n
+Warning X: the following private methods were made public implicitly:
+  n .
 val f : unit -> < m : int; n : int > = <fun>
 # Characters 11-56:
 This object is expected to have type c but has actually type