From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nicolas.pouillard@gmail.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.1 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 260C0BC69
	for <caml-list@yquem.inria.fr>; Mon, 30 Apr 2007 15:41:52 +0200 (CEST)
Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.229])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3UDfoK2008688
	for <caml-list@inria.fr>; Mon, 30 Apr 2007 15:41:51 +0200
Received: by nz-out-0506.google.com with SMTP id l8so2059490nzf
        for <caml-list@inria.fr>; Mon, 30 Apr 2007 06:41:50 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=csVUoQLc9usNVY/Qa9cZbCsieqJLNsQpVem+lZYdxFIW8BmsfXkpCzlnYMC88p3YBC3FVta9zi8LA6eE9BeNpOHeOOr7xmnGSDtPNtQABwpD7xRlJ4siyMafUT/mMd3t9hGqwWWpjqGCukjYtuw1joY6JiHkcP0W/OwW/ib8c9U=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=un1vaK+oMV43TvyC5Oxnmb9stXDph/5WeeQEOgBAYj3f9Mk2sk+YC+NUo49lcFSuyGOyzQsMPVmyxKCWebqw9t6Vq9MOYdqefvEOmJshu3X+UXMdz2dRqzRYtODNJydEOtrw8Zpaub5AdjBOqPrkvaR5I9187m5jwxWH2Aqx7SE=
Received: by 10.115.14.1 with SMTP id r1mr2034362wai.1177940509736;
        Mon, 30 Apr 2007 06:41:49 -0700 (PDT)
Received: by 10.114.181.18 with HTTP; Mon, 30 Apr 2007 06:41:49 -0700 (PDT)
Message-ID: <cd67f63a0704300641p5ec2589ft23e2c34f59a2b059@mail.gmail.com>
Date: Mon, 30 Apr 2007 15:41:49 +0200
From: "Nicolas Pouillard" <nicolas.pouillard@gmail.com>
To: "Joel Reymont" <joelr1@gmail.com>
Subject: Re: [Caml-list] camlp4 3.10: MLast.type_decl
Cc: "Caml List" <caml-list@inria.fr>
In-Reply-To: <16E548F1-9A01-44F3-9BF0-4FCD903AF534@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <B061E84B-E0B8-48B4-A7CD-5C0464F76ABA@gmail.com>
	 <cd67f63a0704300547s1b6c2054u8fab5697e4e1b8fc@mail.gmail.com>
	 <255FA5A4-FF6D-4360-9CBF-77DD6EE07B26@gmail.com>
	 <cd67f63a0704300608pca6097cxb23e1e8af8008f74@mail.gmail.com>
	 <16E548F1-9A01-44F3-9BF0-4FCD903AF534@gmail.com>
X-j-chkmail-Score: MSGID : 4635F21E.000 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at concorde with ID 4635F21E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; camlp:01 mlast:01 decl:01 camlp:01 sig:01 val:01 mlast:01 decl:01 expr:01 val:01 ctyp:01 expr:01 ctyp:01 2007,:98 wrote:01 

On 4/30/07, Joel Reymont <joelr1@gmail.com> wrote:
>
> On Apr 30, 2007, at 2:08 PM, Nicolas Pouillard wrote:
>
> > Look at camlp4/Camlp4/Camlp4Ast.partial.ml for the AST.
> >
> > camlp4/Camlp4/Sig.ml contains almost all signatures.
>
> I understand the "give a man a fish" approach and much prefer to be
> taught fishing.
>
> Next question... Is this the right translation?
>
> (* Old *)
>
> val add_generator :
>    string ->
>    (MLast.type_decl -> (MLast.patt * MLast.expr) list *
> MLast.type_decl list)
>    -> unit
>
> (* New *)
>
> val add_generator :
>    string ->
>    (ctyp -> (patt * expr) list * ctyp list)
>    -> unit
>

Seems good.

-- 
Nicolas Pouillard