blob: 1ee544639069b1ff4814d53a16cdc7fd22223642 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(* TEST
expect;
*)
type ('a, 'b) eq = Refl : ('a, 'a) eq
type empty = (int, string) eq
let f = function `Foo (_ : empty) -> .
[%%expect{|
type ('a, 'b) eq = Refl : ('a, 'a) eq
type empty = (int, string) eq
val f : [< `Foo of empty ] -> 'a = <fun>
|}]
|