summaryrefslogtreecommitdiffstats
path: root/testsuite/tests/typing-misc/variant.ml
blob: b0bd52227749c0cf344dee44b8b182a79192048a (plain)
1
2
3
4
5
6
7
8
(* PR#6394 *)

module rec X : sig
 type t = int * bool
end = struct
 type t = A | B
 let f = function A | B -> 0
end;;