summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects/open_in_classes.ml
blob: f374c08393d3c32a0fef339e3a7bb288e56ba355 (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
30
(* TEST
 expect;
*)

module M = struct
  type t = int
  let x = 42
end
;;
[%%expect{|
module M : sig type t = int val x : int end
|}]
class c =
  let open M in
  object
    method f : t = x
  end
;;
[%%expect{|
class c : object method f : M.t end
|}]
class type ct =
  let open M in
  object
    method f : t
  end
;;
[%%expect{|
class type ct = object method f : M.t end
|}]