blob: 46c68e8a219300f66a7288ac383832ea237a723b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
(* TEST
* expect
*)
[@@@ocaml.warning "+a"]
module M : sig end = struct
module rec Foo : sig
type t
val create : Bar.t -> t
end = struct
type t = unit
let create _ = ()
end
and Bar : sig
type t
end = struct
type t = unit
end
let _ = Foo.create
end;;
[%%expect{|
Line 14, characters 4-10:
14 | type t
^^^^^^
Warning 34 [unused-type-declaration]: unused type t.
module M : sig end
|}];;
|