From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pA4CUXsu030155 for ; Fri, 4 Nov 2011 13:30:41 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoCAIHas04uaThxmWdsb2JhbABEhHqVWY4ZLoEUAQEBAQEICwsHFCWBcgEBBAEjVgULCxoCJgICVxmIAgIGowOSHIEwgheEToEWBJQcgQuQXA X-IronPort-AV: E=Sophos;i="4.69,455,1315173600"; d="scan'208";a="116911984" Received: from 14.mo6.mail-out.ovh.net (HELO mo6.mail-out.ovh.net) ([46.105.56.113]) by mail4-smtp-sop.national.inria.fr with ESMTP; 04 Nov 2011 13:30:41 +0100 Received: from mail378.ha.ovh.net (b6.ovh.net [213.186.33.56]) by mo6.mail-out.ovh.net (Postfix) with SMTP id C835BFF81CC for ; Fri, 4 Nov 2011 13:31:15 +0100 (CET) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 4 Nov 2011 12:30:40 -0000 Received: from ns0.ovh.net (HELO localhost) (213.186.33.20) by ns0.ovh.net with SMTP; 4 Nov 2011 12:30:40 -0000 Received: from guest-rocq-135159.inria.fr (guest-rocq-135159.inria.fr [128.93.135.159]) by ssl0.ovh.net (Horde Framework) with HTTP; Fri, 04 Nov 2011 13:30:40 +0100 Message-ID: <20111104133040.14263nxfiibuk3y8@ssl0.ovh.net> Date: Fri, 04 Nov 2011 13:30:40 +0100 From: forum@x9c.fr To: caml-list@inria.fr Cc: forum@x9c.fr X-Ovh-Mailout: 178.32.228.6 (mo6.mail-out.ovh.net) References: <7EB42100-0E5F-4FBB-8CB8-A318926F0E0E@x9c.fr> <1320401916.14475.269.camel@thinkpad> In-Reply-To: <1320401916.14475.269.camel@thinkpad> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; DelSp="Yes"; format="flowed" Content-Disposition: inline User-Agent: Internet Messaging Program (IMP) H3 (4.3.5) X-Ovh-Tracer-Id: 15776109496427807520 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 20 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeeffedrvdegucetggdotefuucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenucgfrhhlucfvnfffucdlvddtmd Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pA4CUXsu030155 Subject: Re: [Caml-list] [ANN] Argot: 1.0 release Gerd Stolpmann a écrit : > Excellent! I'll definitely use it. > > Another idea for a feature: more options how classes and modules are > shown. For example, I once had the problem that I wanted an included > module also to be included in-place in the documentation (rather than by > reference/link). I modified the ocamldoc generator to get this effect, > and the result is here: > > http://projects.camlcity.org/projects/dl/pxp-1.2.1/doc/manual/html/ref/Pxp_types.html > > The grey box contains actually the included definitions. This is much > easier to understand for the casual reader. The feature is accompanied > by a link rewriter, so the ocamldoc-generated links point to the > including module rather the included module. > > A similar problem occurs for inherited class types. Of course, one wants > to enable this on a case-by-case basis. > > I blogged about this some years ago: > http://blog.camlcity.org/blog/pxp121.html > > The generator (very specific to this case): > https://godirepo.camlcity.org/svn/lib-pxp/tags/pxp-1.2.1/tools/src/odoc/chtml.ml This is an interesting feature; it may be implemented by using some "folding" in order to have the best of both worlds (short name by default, and unfolding upon request). Regards, Xavier Clerc