From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <joelr1@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.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 2B13DBC69
	for <caml-list@yquem.inria.fr>; Mon, 30 Apr 2007 15:38:16 +0200 (CEST)
Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3UDcFXp009935
	for <caml-list@inria.fr>; Mon, 30 Apr 2007 15:38:15 +0200
Received: by ug-out-1314.google.com with SMTP id k3so1036364ugf
        for <caml-list@inria.fr>; Mon, 30 Apr 2007 06:38:15 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer;
        b=dDQbrBKLGbO0ytCrVUPxBJUjf3MfHMnRUscvBb9bjHfpkR3d16a9pFHKIcrLJRdMGbmTT+QrNCPKi3EBsnWOoRklsDh/409FlDunn3oeqa9X1OJ20Na1u9YDFW3mNe/NGgDK+oeatrUgtM4TUgaNC+mtDJRQrfuNYlUFoc17roU=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer;
        b=TZ8XtBQNobzUW+2MdIBeQKD1Y8ZUaGC97whI+Y3rnx1Pp+f5XHX59szHbIApB2tXdNvUwtOYVuSh80NN/z2KRpwhtXXdxGHS2W+WAJ/E45s7vdxPhsFk5N+4psnrTvMxO2/L4uhlvHHF3BfyeHy/VlThp5DFI9b5eqBvPV+RxGg=
Received: by 10.67.15.15 with SMTP id s15mr5443089ugi.1177940295598;
        Mon, 30 Apr 2007 06:38:15 -0700 (PDT)
Received: from ?192.168.1.34? ( [83.52.237.136])
        by mx.google.com with ESMTP id s1sm5386467uge.2007.04.30.06.38.14;
        Mon, 30 Apr 2007 06:38:14 -0700 (PDT)
In-Reply-To: <cd67f63a0704300608pca6097cxb23e1e8af8008f74@mail.gmail.com>
References: <B061E84B-E0B8-48B4-A7CD-5C0464F76ABA@gmail.com> <cd67f63a0704300547s1b6c2054u8fab5697e4e1b8fc@mail.gmail.com> <255FA5A4-FF6D-4360-9CBF-77DD6EE07B26@gmail.com> <cd67f63a0704300608pca6097cxb23e1e8af8008f74@mail.gmail.com>
Mime-Version: 1.0 (Apple Message framework v752.3)
Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed
Message-Id: <16E548F1-9A01-44F3-9BF0-4FCD903AF534@gmail.com>
Cc: "Caml List" <caml-list@inria.fr>
Content-Transfer-Encoding: 7bit
From: Joel Reymont <joelr1@gmail.com>
Subject: Re: [Caml-list] camlp4 3.10: MLast.type_decl
Date: Mon, 30 Apr 2007 14:38:12 +0100
To: "Nicolas Pouillard" <nicolas.pouillard@gmail.com>
X-Mailer: Apple Mail (2.752.3)
X-j-chkmail-Score: MSGID : 4635F147.002 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3
X-Miltered: at discorde with ID 4635F147.002 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 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

	Thanks, Joel

--
http://wagerlabs.com/