blob: 729afd516a83a202f5919d5d455afadf33a8b3be (
plain)
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;;
|