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.1 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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id B6018BBAF for ; Tue, 2 Sep 2008 15:31:40 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.32,316,1217800800"; d="scan'208";a="14488871" Received: from alcazar.inria.fr ([128.93.24.50]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Sep 2008 15:31:40 +0200 Date: Tue, 2 Sep 2008 15:37:34 +0200 From: Maxence Guesdon To: David Teller Cc: Caml Subject: Re: [Caml-list] Two questions on OCamlDoc Message-ID: <20080902153734.22008306@alcazar.inria.fr> In-Reply-To: <1220357131.6406.38.camel@Blefuscu> References: <1220356028.6406.33.camel@Blefuscu> <1220357131.6406.38.camel@Blefuscu> Organization: INRIA 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 univ-orleans:01 ocamldoc:01 rocquencourt:01 wrote:01 caml-list:01 substitution:01 string:02 string:02 rocq:04 complex:05 On Tue, 02 Sep 2008 14:05:31 +0200 David Teller wrote: > And while I'm asking complex questions, can anyone think of a way of > asking OCamlDoc to resolve [string] to [String.t], ['a list] to ['a > List.t], ['a array] to ['a Array.t], etc? Maybe raw string substitution ? Hacking in the internal representation of types to change their names way work but it's currently out of my abilities. Regards, Maxence --=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/