blob: 931d96129bf49ac00dab8e5aa6d3c0f9fd3e70da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
(* TEST
* expect
*)
type t = T : t;;
module M : sig
type free = < bar : t -> unit; foo : free -> unit >
end = struct
class free = object (self : 'self)
method foo self = ()
method bar T = self#foo self
end
end;;
[%%expect{|
type t = T : t
module M : sig type free = < bar : t -> unit; foo : free -> unit > end
|}]
|