0001952: référence et polymorphisme

Notes
(0000192) administrator (administrator) 2004-05-28 05:01	> Le programme ci-dessous ne type pas alors qu'il devrait... > > ===== > let x = ref 0 > let y = ref true > > let f a = x := a > let g a = y := a > > let _ = > (* version "typage explicite + let_in" : KO ) > let h2 : ('a -> unit) -> 'a -> unit = fun f x -> f x in > h2 f 0; > h2 g ( <-- erreur de typage *) true Ce n'est pas a proprement parler un bug, puisque c'est le comportement prevu du compilateur (mais je ne suis pas sur qu'il soit clairement documente'). Toutes les variables de types apparaissant dans des annotations sont considerees comme liees au niveau le plus exterieur. Elles ne peuvent donc etre rendues polymorphes que pour les definitions a` toplevel. Il est parfois question de changer cette semantique... je reclasse donc ca en feature-wish. Jacques Garrigue

(0000193) administrator (administrator) 2004-05-28 05:01	Question de liaison des variables dans les contraintes de types ? -DD Oui, mais ce n'est pas un bug -JG

Relationships