blob: 01af3e796e278d719273065720d8bd925cc09026 (
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
|
(* TEST
flags = "-w +A-70"
* setup-ocamlc.byte-build-env
** ocamlc.byte
compile_only = "true"
*** check-ocamlc.byte-output
*)
module T1 = struct
type t = A
type s = X
end
module T2 = struct
type t = T1.t = A
type s = X
end
module T3 = struct
open T1 (* unused open *)
open T2 (* shadow X, which is later used; but not A, see #6762 *)
let _ = (A, X) (* X belongs to several types *)
end
|