From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5GG2k4u017278
	for <caml-list@sympa-roc.inria.fr>; Thu, 16 Jun 2011 18:02:46 +0200
X-IronPort-AV: E=Sophos;i="4.65,376,1304287200"; 
   d="scan'208";a="96894709"
Received: from walapai.inria.fr ([128.93.30.24])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 16 Jun 2011 18:02:41 +0200
Received: from walapai.inria.fr (localhost [127.0.0.1])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5GG2f6Q017275
	for <caml-list@inria.fr>; Thu, 16 Jun 2011 18:02:41 +0200
Received: (from sympa@localhost)
	by walapai.inria.fr (8.13.6/8.12.10/Submit) id p5GG2eqF017274
	for caml-list@inria.fr; Thu, 16 Jun 2011 18:02:40 +0200
Date: Thu, 16 Jun 2011 18:02:40 +0200
X-Authentication-Warning: walapai.inria.fr: sympa set sender to sympa@inria.fr using -f
To: caml-list@inria.fr
From: vincent.monfort@inria.fr
In-Reply-To: 
Message-ID: <sympa.1308237692.15823.257@inria.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] ocamldoc changes the names of polymorphic types

Hi everyone,
I used particular names for some polymorphic types in my .mli files but these
names were replaced with default names by ocamldoc in the documentation.
E.g.:
.mli:
type ('dom,'tf) manager = {
  bot : 'dom; 
  ...
}

.html:
type ('a, 'b) manager = {
	bot : 'a;
	...
}

Is there any way to force ocamldoc to keep the names given in the documentation
?
If it is not the case I think it would be a good thing because it could make
the documentation more readable.

Regards,

Vincent