blob: 7f188cf59bf78860577418eff937e1a6536b1964 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(* TEST
* expect
*)
type 'a r = <w: int -> int; .. > as 'a;;
[%%expect{|
type 'a r = 'a constraint 'a = < w : int -> int; .. >
|}];;
class type virtual ct = object('self)
constraint 'self = 'not_self r
end;;
[%%expect{|
class type virtual ct = object method virtual w : int -> int end
|}];;
|