On Mon, 22 Dec 2008 16:44:26 +0100
"Philippe Veber" <philippe.veber@googlemail.com> wrote:

> Hi,

Hello,

>   I'm a little bit puzzled with the behavior of ocamldoc (3.10.2 and 3.11.0)
> on the following file :
> 
> a.ml :
> ====
> 
> module M : sig
>   val l : int list
> end
> =
> struct
>   let l = []
> end
> 
> The HTML documentation generated from the following call
> 
> ocamldoc -html a.ml
> 
> will describe A.M.l as a 'a list, while it's been constrained to int list by
> the signature. Is this the expected behavior ?

No, it's not. Can you fill a bug report ?
Thanks.

Regards,

-- 
Maxence Guesdon                           http://yquem.inria.fr/~guesdon/
Service Expérimentation et Développements https://devel.inria.fr/rocq/
INRIA Paris-Rocquencourt                  http://www.inria.fr/rocquencourt/