class type p_sans_m =   object method n : int end;; class p : p_sans_m =   object (self) method m = 1 method n = 1 + self#m end;; Characters 23-75: The class type object method m : int method n : int end is not matched by the class type p_sans_m The public method m cannot be hidden

Si la classe p était typable, alors on pourrait construire la classe q puis l'objet cassé suivant donc l'appel de la méthode m lancerait un calcul qui aboutirait à 1 + true.

class q = object inherit p method m = true end let cassé = new q in cassé # n;;