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;;