blob: 8a85eaff8c502fb90f8f625a1aa1842a570855c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
(* TEST
* expect
*)
type +'a t
class type a = object
method b : b
end
and b = object
method a : a
end
type _ response =
| C : #a t response;;
[%%expect{|
type +'a t
class type a = object method b : b end
and b = object method a : a end
type _ response = C : #a t response
|}]
let f (type a) (a : a response) =
match a with
| C -> 0;;
[%%expect{|
val f : 'a response -> int = <fun>
|}]
|