blob: 25d199a64ee131f22ddd80c92a91374724be3a0c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
(* TEST
flags = "-i"
ocamlc_byte_exit_status = "2"
* setup-ocamlc.byte-build-env
** ocamlc.byte
*** check-ocamlc.byte-output
*)
let t =
(function `A | `B -> () : 'a) (`A : [`A]);
(failwith "dummy" : 'a) (* to know how 'a is unified *)
|