Comment author: administrator

fun x -> (x : [A | B] :> [A | C]);;

Type [ A | B ] is not a subtype of type [ A | C ]
The first variant type does not allow tag(s) `C

fun x -> (x : [A | B | C] :> [A | `C]);;

Type [ A | B | C ] is not a subtype of type [ A | `C ]

Le premier message d'erreur annonce correctement que [A | B] n'est
pas un sous-type de [A | C], mais il explique pourquoi [A | C]
n'est pas un sous-type de [A | B]. Dans le deuxième cas, où on a
sous-typage dans l'autre sens, il n'y a pas d'explication.

Probleme difficile. L'explication en fait concerne l'unification, pas le
sous-typage. Pour comprendre, il faut realiser que, pour satisfaire une
contrainte de sous-typage, ocaml elimine les parties structurellement
sous-typables, et genere des contraintes d'unifications concernant les parties
non sous-typables. D'ou le commentaire bizarre pour le premier cas.
Dans le deuxieme cas, apparemment aucune cause particuliere n'est detectee.
Pas de bug, mais c'est vrai que ca peut etre deroutant.

Jacques

Comment author: administrator

Error messages are difficult...