Comment author: administrator

From: Judicael.Courant@free.fr

Lorsqu'une méthode virtuelle est utilisée mais non déclarée, le typage ne
proteste pas :

$ ocaml
Objective Caml version 3.08.1

class virtual foo = object (self) method foo = self#bar + 0 end;;

class virtual foo :
object method private virtual bar : int method foo : int end

Ce qui n'est pas conforme à ce que laisse penser la section 3.5 "Virtual
methods" du manuel (tous les exemples déclarent les méthodes virtuelles).

Si ce comportement est voulu, peut-être faudrait-il le mettre dans la doc ?

Je ne sais pas vraiment ce qui est voulu.
Mais comme ca a toujours ete' permis, il me parait difficile de
brusquement l'interdire. On pourrait peut-etre rajouter un warning,
correspondant au site de l'appel, parce que c'est vrai que c'est
bizarre et casse-gueule.

Jacques

Comment author: administrator

Le dimanche 7 Novembre 2004 03:38, Jacques Garrigue a écrit :

Je ne sais pas vraiment ce qui est voulu.
Mais comme ca a toujours ete' permis, il me parait difficile de
brusquement l'interdire. On pourrait peut-etre rajouter un warning,
correspondant au site de l'appel, parce que c'est vrai que c'est
bizarre et casse-gueule.

Un warning m'irait très bien. Et peut-être un petit mot dans la doc pour
déconseiller ce style (à mon avis pas bon du tout).

Judicaël.

Judicael.Courant@ntsys.fr
http://www.ntsys.fr -- http://www.academieopensource.com
+33 (0)4 72 18 09 13

Comment author: administrator

Wish granted in 3.09 (JG)