blob: 85b4b1766c1d6b6c191764c8c7177f3f3c4e4469 (
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
33
34
35
36
|
(* TEST_BELOW
(* Blank lines added here to preserve locations. *)
*)
let flag = ref false
module F(S : sig module type T end) (A : S.T) (B : S.T) =
struct
module X = (val if !flag then (module A) else (module B) : S.T)
end
(* If the above were accepted, one could break soundness *)
module type S = sig type t val x : t end
module Float = struct type t = float let x = 0.0 end
module Int = struct type t = int let x = 0 end
module M = F(struct module type T = S end)
let () = flag := false
module M1 = M(Float)(Int)
let () = flag := true
module M2 = M(Float)(Int)
let _ = [| M2.X.x; M1.X.x |]
(* TEST
flags = " -w -a ";
ocamlc_byte_exit_status = "2";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
|