blob: 2775db7e9c911bf2ad3356be24bcd401a9d723f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(* TEST_BELOW
(* Blank lines added here to preserve locations. *)
*)
let t =
(function `A | `B -> () : 'a) (`A : [`A]);
(failwith "dummy" : 'a) (* to know how 'a is unified *)
(* TEST
flags = "-i";
ocamlc_byte_exit_status = "2";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
|