blob: 06118652bbe7960d7a87c86408c50528af739c5f (
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
|}]
|