Comment author: administrator

ceci est sans doute plus un problème d'affichage du type qu'un bug, mais
il n'empêche que le type renvoyé n'est pas satisfaisant

let f x =

let module M = struct type t = [ A | B] let z : t = x end in M.z;;
val f : t -> M.t =

En effet, c'est louche, même si je n'ai pas encore trouvé un exemple
de cette forme qui "casserait" le typage.

Pour les développeurs Caml qui connaissent le typeur: j'ai
l'impression qu'il faudrait utiliser Ctype.nondep_type au lieu d'une
unification sous préfixe. Mais est-ce que Ctype.nondep_type est
applicable à un type simple?

• Xavier Leroy

Comment author: administrator

From: lvibert@irisa.fr

ceci est sans doute plus un probleme d'affichage du type qu'un bug, mais
il n'empeche que le type renvoye n'est pas satisfaisant

let f x =

let module M = struct type t = [ A | B] let z : t = x end in M.z ;;
val f : t -> M.t =

En effet, c'est lie' aau tracage des noms de variants, destine' a`
l'affichage.

From: xavier.leroy@inria.fr

Pour les developpeurs Caml qui connaissent le typeur: j'ai
l'impression qu'il faudrait utiliser Ctype.nondep_type au lieu d'une
unification sous prefixe. Mais est-ce que Ctype.nondep_type est
applicable a un type simple?

Non, l'unification appelle update_level, qui est cense' faire le
boulot.
Le probleme est que update_level oubliait d'eliminer les abbreviations
destinees a` l'affichage. C'est sans danger, mais incorrect.

Un autre exemle utilisant les objets:

let f x = let module M= struct class type c = object method m : int end let g x = (x :> c) end in M.g;;

val f : 'a -> #M.c -> < m : int > =

Tout ca est maintenant corrige'.

 Jacques

Comment author: administrator

Fixed by Jacques on 2002-06-08.