From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <philippe.veber@googlemail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=HTML_MESSAGE,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 6D92FBB84
	for <caml-list@yquem.inria.fr>; Mon, 22 Dec 2008 16:44:28 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnoBAAdFT0nRVdoUimdsb2JhbACCPjGQPD4BAQEKCQwHDwWqLFiEV4sRAQQ
X-IronPort-AV: E=Sophos;i="4.36,263,1228086000"; 
   d="scan'208";a="20705540"
Received: from mail-bw0-f20.google.com ([209.85.218.20])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Dec 2008 16:44:28 +0100
Received: by bwz13 with SMTP id 13so5802258bwz.3
        for <caml-list@yquem.inria.fr>; Mon, 22 Dec 2008 07:44:27 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to
         :subject:mime-version:content-type;
        bh=DAQv9OsUQe53giZ+33gSai2OXPL/dDyw+Ngg25RMZtY=;
        b=GDGZ2me7kPgRvVfoQTRvVp0LKLEoTx6OqIYsx68Hw63CNmt7KvhHxAs8dYBgO+7ImP
         Esr/6g9tZMsf9jHLbWuBixPQCrKgyeVcFmkuQS3Ruf4ovlmh8Hb8QElQlIv1rishRgNv
         kpdgJwSHTEHVeWHY8YcFOacTg+9Hh5+6h2uZ4=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=message-id:date:from:to:subject:mime-version:content-type;
        b=BFWqi148BB8EDxWOPWjFtTEmPCS5VBWywMiCuveqZqvQkgVuzginSA2vhDQJibuZ9h
         KTJNXHSCZEtuRD0fffnhpg2L3GAwUNhWJnlHuwaf60X8D1UTSSllPBIl5tRzaaDUEU4E
         QwZkVRvC5cR3u8Q5LkxDYPc8x/ME3P78MxWE8=
Received: by 10.223.113.199 with SMTP id b7mr5024625faq.82.1229960666721;
        Mon, 22 Dec 2008 07:44:26 -0800 (PST)
Received: by 10.223.116.18 with HTTP; Mon, 22 Dec 2008 07:44:26 -0800 (PST)
Message-ID: <721f7f5a0812220744r2299f43cy6995dbeca2cd3215@mail.gmail.com>
Date: Mon, 22 Dec 2008 16:44:26 +0100
From: "Philippe Veber" <philippe.veber@googlemail.com>
To: caml-list@yquem.inria.fr
Subject: ocamldoc and module signature
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_79016_8509521.1229960666718"
X-Spam: no; 0.00; ocamldoc:01 ocamldoc:01 sig:01 val:01 struct:01 -html:01 sig:01 val:01 struct:01 -html:01 int:01 int:01 module:03 module:03 let:03 

------=_Part_79016_8509521.1229960666718
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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.

------=_Part_79016_8509521.1229960666718
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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

------=_Part_79016_8509521.1229960666718--