summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects/class_2.ml
blob: 09447683822578885b27af1b585831bda2fd0486 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
(* TEST
 expect;
*)

(* class expressions may also contain local recursive bindings *)
class test =
  let rec f = fun x -> g x
      and g = fun x -> f x in
object
  method f : 'a 'b. 'a -> 'b = f
  method g : 'a 'b. 'a -> 'b = g
end
[%%expect{|
class test : object method f : 'a -> 'b method g : 'a -> 'b end
|}]