Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

[Caml-list] ocamldoc and module signature

3 views
Skip to first unread message

Philippe Veber

unread,
Dec 22, 2008, 10:44:35 AM12/22/08
to caml...@yquem.inria.fr
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.

Maxence Guesdon

unread,
Jan 5, 2009, 3:00:26 AM1/5/09
to caml...@yquem.inria.fr
On Mon, 22 Dec 2008 16:44:26 +0100
"Philippe Veber" <philipp...@googlemail.com> wrote:

> Hi,

Hello,

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/


_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

0 new messages