]> 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/