testsuite/tests/typing-polyvariants-bugs/pr5057a_bad.ml


1
2
3
4
5
6
7

(* This one should fail *)

let f flag = 
  let module T = Set.Make(struct type t = int let compare = compare end) in
  let _ = match flag with `A -> 0 | `B r -> r in
  let _ = match flag with `A -> T.mem | `B r -> r in
  ()