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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 76042BC69 for ; Mon, 30 Apr 2007 16:41:09 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.171]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3UEf8ne024376 for ; Mon, 30 Apr 2007 16:41:09 +0200 Received: by ug-out-1314.google.com with SMTP id k3so1046213ugf for ; Mon, 30 Apr 2007 07:41:08 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:mime-version:in-reply-to:references:content-type:message-id:content-transfer-encoding:from:subject:date:to:x-mailer; b=Hs+9UdCl8ABKapZmCrXkIb8z3BreAckGr86/Og72hP/qr0mZbNW0eg/rEt+18MEgpx2usyVKEAwl9yTNe4JYP6Fx5LZIyv558ntiTS5pFlP75Qpyr1tDSUO2CyMIL1XDgDgxG64i1Fn9reVK7uxrhq2oVfuykwqL9siEIw6R3jg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:mime-version:in-reply-to:references:content-type:message-id:content-transfer-encoding:from:subject:date:to:x-mailer; b=JNw9jl2qakT5hnESUJlbOCoDdyq2k3mNkhTzG6VrUIfTFe2m2d7LHNDeOXyntsrDTlVRpZRo937FcH6ZIZHFuEchHx1/3uOdpgt8eRTq5tvIBmrN+VelLjRELzs7gUPiyIwyaQ3RcA3beWgchwAfH0AvxpUYkihFWxjMLGFahas= Received: by 10.82.146.14 with SMTP id t14mr12226236bud.1177944068387; Mon, 30 Apr 2007 07:41:08 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.237.136]) by mx.google.com with ESMTP id z40sm12990578ikz.2007.04.30.07.41.01; Mon, 30 Apr 2007 07:41:04 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) In-Reply-To: <1F2DC9D5-570E-45AF-B355-0B55ACB12C56@gmail.com> References: <1F2DC9D5-570E-45AF-B355-0B55ACB12C56@gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <845295E8-F9D3-4BFD-B09F-B676C6D333B3@gmail.com> Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: camlp4 3.10: Tuple processing Date: Mon, 30 Apr 2007 15:40:56 +0100 To: Caml List X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46360005.000 on concorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at concorde with ID 46360005.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 ctyp:01 post-:01 ctyp:01 2007,:98 wrote:01 tuple:02 tuple:02 ast:02 ast:02 confused:03 let:03 let:03 fold:06 apr:06 I think I missed the point after getting confused by the comments and that $tup:Ast.tySta_of_list tl$. It looks like just <:ctyp< $tup:t$ >> is needed, my apologies for the confusion! On Apr 30, 2007, at 3:34 PM, Joel Reymont wrote: > | Tuple l -> > (* (* Development version post-3.10.0+beta: *) > let tl = List.map convert l in > <:ctyp< ( $tup:Ast.tySta_of_list tl$ ) >> *) > let t = > List.fold_right > (fun x tup -> <:ctyp< $convert x$ * $tup$ >>) > l <:ctyp< >> in > <:ctyp< $tup:t$ >> -- http://wagerlabs.com/