Comment author: administrator

Fixed by JG (2001-11-16).

Comment author: administrator

Full_Name: Didier Remy
Version: 3.03 ALPHA+3 (2001-11-05)

The following code crashes both the toplevel and the compiler
with the exception Uncaught exception: Ctype.Unify(_)

class ['a] c =
object (self)
method m1 (a : 'a) = a#m2 (`C self)
end;;

let _ = new c;;

Ca a l'air d'un vieux bug, deja dans 3.00.
C'etait du^ a une mauvaise generalisation des variantes dans Ctype.limited_generalize. J'ai corrige', mais limited_generalize me fait assez peur: comme on ne peut pas generaliser une variante sans generaliser sa row-variable, je le fais, au risque d'avoir d'un trou dans le typeur. D'un autre cote', j'ai du mal a imaginer un contre-exemple, si il y
en a...

Jacques