ocamldoc and module signature

ocamldoc and module signature

[Philippe Veber]

[-- Attachment #1: Type: text/plain, Size: 399 bytes --]

Hi,

  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 ?

Philippe.

[-- Attachment #2: Type: text/html, Size: 557 bytes --]

Re: [Caml-list] ocamldoc and module signature

[Maxence Guesdon]

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/