From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 2502DBB84 for ; Mon, 5 Jan 2009 09:00:16 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4DAEdNYUlQDPKKaWdsb2JhbACBbJITDQkKBxAGtgqENIE+ X-IronPort-AV: E=Sophos;i="4.36,331,1228086000"; d="scan'208";a="33289312" Received: from smtp2a.orange.fr ([80.12.242.138]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Jan 2009 09:00:15 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2a01.orange.fr (SMTP Server) with ESMTP id 338F670000A0; Mon, 5 Jan 2009 09:00:15 +0100 (CET) Received: from alcazar.inria.fr (ADijon-158-1-55-179.w92-130.abo.wanadoo.fr [92.130.150.179]) by mwinf2a01.orange.fr (SMTP Server) with ESMTP id CA29070000A3; Mon, 5 Jan 2009 09:00:14 +0100 (CET) X-ME-UUID: 20090105080014828.CA29070000A3@mwinf2a01.orange.fr Date: Mon, 5 Jan 2009 09:00:13 +0100 From: Maxence Guesdon To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ocamldoc and module signature Message-ID: <20090105090013.0e446025@alcazar.inria.fr> In-Reply-To: <721f7f5a0812220744r2299f43cy6995dbeca2cd3215@mail.gmail.com> References: <721f7f5a0812220744r2299f43cy6995dbeca2cd3215@mail.gmail.com> X-Mailer: Claws Mail 3.5.0 (GTK+ 2.12.11; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; maxence:01 guesdon:01 maxence:01 guesdon:01 ocamldoc:01 ocamldoc:01 sig:01 val:01 struct:01 -html:01 bug:01 rocquencourt:01 wrote:01 caml-list:01 int:01 On Mon, 22 Dec 2008 16:44:26 +0100 "Philippe Veber" 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 : >=20 > a.ml : > =3D=3D=3D=3D >=20 > module M : sig > val l : int list > end > =3D > struct > let l =3D [] > end >=20 > The HTML documentation generated from the following call >=20 > ocamldoc -html a.ml >=20 > 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, --=20 Maxence Guesdon http://yquem.inria.fr/~guesdon/ Service Exp=E9rimentation et D=E9veloppements https://devel.inria.fr/rocq/ INRIA Paris-Rocquencourt http://www.inria.fr/rocquencourt/