Comment author: administrator

From: lvibert@irisa.fr

Quand une variable est contrainte, je ne vois aucun moyen de la rendre
polymorphe :

Effectivement, il y avait un bug. C'est maintenant corrige' en CVS.

class type o = object end
class ['a] c = object constraint 'a = #o end
[...]
par contre, ceci marche parfaitement , mais ce n'est pas ce qu'on voulait :
class type c2 = object method m : 'a. (_ #c) as 'a end;;

En fait, si ca marche c'est un peu par hasard: dans cet exemple 'a
n'apparait pas dans l'expansion du type de c, et par consequent on ne
verifie pas qu'il est generalisable.

Si on ecrit plutot
class type ['a] c = object constraint 'a = #o method get : 'a end
alors il faut ecrire
class type c2 = object method m : #o #c end;;
qui signifie exactement la meme chose (la quantification est implicite
dans les types de classes)
A present
class type c2 = object method m : #o c end;;
marche aussi.

Attention, pour des raisons techniques, la notation explicite
class type c2 = object method m : 'a. (#o as 'a) c end
ne marche toujours pas dans ce cas. Je suis a` la recherche d'une
solution, mais ca a l'air assez complique'.

Jacques

Comment author: administrator

Je crois que c'est maintenant corrige' en CVS.

    Objective Caml version 3.06+33 (2003-05-19)

class type o = object end

class ['a] c = object constraint 'a = #o end;;
class type o = object end
class ['a] c : object constraint 'a = #o end

class type c2 = object method m : 'a. 'a c end;;

class type c2 = object method m : #o c end

class type c2 = object method m : 'a. (_ c) as 'a end;;

This type scheme cannot quantify 'a : it is not a variable.

class type c2 = object method m : 'a. (#o as 'a) c end;;

class type c2 = object method m : #o c end

class type c2 = object method m : #o c end;;

class type c2 = object method m : #o c end

Comme ca a demande' pas mal de changement, merci de verifier que ca ne casse
pas vos programmes.

Jacques

Comment author: administrator

Fixed by JG (2003-05-19)
Also aliases inside a polymorphic type scheme are now local.