Source

mutated_ocaml / testsuite / tests / typing-recmod / t13ok.ml

Full commit
1
2
3
4
5
(* OK *)
class type [ 'node ] extension = object method node : 'node end
class type [ 'ext ] node = object constraint 'ext = 'ext node #extension end
class x = object method node : x node = assert false end
type t = x node;;