summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects-bugs/pr7293_ok.ml
blob: 40ba424e0516377a1ae49e0752b3f7f1ea4fc4f0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(* TEST
flags = " -w -a "
* setup-ocamlc.byte-build-env
** ocamlc.byte
*** check-ocamlc.byte-output
*)

type t = T : t
type s = T

class c = object (self : 'self)

  method foo : s -> 'self = function
    | T -> self#bar ()

  method bar : unit -> 'self = fun () -> self

end