English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
'a & string unification issue
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-08-24 (15:03)
From: Alessandro Baretta <a.baretta@s...>
Subject: Re: [Caml-list] 'a & string unification issue
Jacques Garrigue wrote:
> From: Alessandro Baretta <a.baretta@studio.baretta.com>

> Looks like your implementation contains at least `Options, while the
> interface doesn't. Since it is in a contravariant position, you should
> be able to remove it from the implementation by subtyping.
> Jacques Garrigue

Ah, yes! The error message was so long that I missed the relevant spot, and the 
`&' sign tricked me into thinking that the issue was there. And, yes, the 
problem is the "> `Options" constraint, which appears in the inferred signature 
of the function, but not in the mli.

Thank you very much.