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

module M : sig class c : 'a -> object val x : 'b end end =
  struct class c x = object val x = x end end

class c (x : int) = object inherit M.c x method x : bool = x end

let r = (new c 2)#x;;