Test.

Author: alainfrisch

testsuite/tests/warnings/w03.ml

@@ -0,0 +1,29 @@
+[@@@ocaml.warning "+3"]
+
+module X: sig
+  type t [@@ocaml.deprecated]
+  val x: int [@@ocaml.deprecated]
+end = struct
+  type t
+  let x = 0
+end
+
+type t1 = X.t
+let x1 = X.x
+
+type t2 = X.t * X.t [@@ocaml.warning "-3"]
+type t3 = (X.t * X.t) [@ocaml.warning "-3"]
+type t4 = (X.t [@ocaml.warning "-3"]) * X.t
+
+type t5 = X.t [@@ocaml.warning "-3"]
+and t6 = X.t
+
+type t7 = A of t7
+    [@@ocaml.deprecated]
+
+type t8 = A of (t8 [@ocaml.warning "-3"])
+    [@@ocaml.deprecated]
+
+type t9 = A of t9
+  [@@ocaml.deprecated]
+  [@@ocaml.warning "-3"]

testsuite/tests/warnings/w03.reference

@@ -0,0 +1,10 @@
+File "w03.ml", line 11, characters 10-13:
+Warning 3: deprecated: X.t
+File "w03.ml", line 12, characters 9-12:
+Warning 3: deprecated: X.x
+File "w03.ml", line 16, characters 40-43:
+Warning 3: deprecated: X.t
+File "w03.ml", line 19, characters 9-12:
+Warning 3: deprecated: X.t
+File "w03.ml", line 21, characters 15-17:
+Warning 3: deprecated: t7