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
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 27920BC69
	for <caml-list@yquem.inria.fr>; Tue,  1 May 2007 18:05:38 +0200 (CEST)
Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.170])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l41G5bCQ023681
	for <caml-list@inria.fr>; Tue, 1 May 2007 18:05:37 +0200
Received: by ug-out-1314.google.com with SMTP id k3so64181ugf
        for <caml-list@inria.fr>; Tue, 01 May 2007 09:05:37 -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=MVjCQEow4kAcMzKqAahvfkLWAcPo86xcjUr8URtGb6WMW/7k7HhBtclmtcGO+Swbn5ztO7140XJbcN7CAZxphevdq4waDeJs2JcGVX/q/RXtjY2WCcJznWwYdJHN72yTMilKeduYx4cbjnoieq4GUYnh7sso6By+us7T1S7CoRQ=
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=BVIA5+8dXycIo7Av08rA4Vlky/T/6hKAPwMo8jm8rn8dtYGTfcLE+X4Ch091j9eaqPZt9MpjLrO8DbUTNTO/1pmpeYe4IADu1FWmTP10HFe6r13u7qO0/aMQomRtEvSV/femTqygd3SVMN/2PHvRMOrvGCVXrSgKMo0SDRdrZts=
Received: by 10.67.93.7 with SMTP id v7mr422515ugl.1178035537490;
        Tue, 01 May 2007 09:05:37 -0700 (PDT)
Received: from ?192.168.1.34? ( [83.52.237.136])
        by mx.google.com with ESMTP id u6sm1062286uge.2007.05.01.09.05.35;
        Tue, 01 May 2007 09:05:36 -0700 (PDT)
In-Reply-To: <cd67f63a0705010716h6bb3f07dt390e83adde4b2103@mail.gmail.com>
References: <220DCCF0-FD2D-4116-8E30-992C1AD3FE95@gmail.com> <cd67f63a0704300819n481f1b63hf38b55b1084cb12@mail.gmail.com> <72EB1952-F2C8-44AC-B1A6-7D8CE5F4A157@gmail.com> <cd67f63a0704300846r490f8c5ah487b4a2084f4aeb6@mail.gmail.com> <DAF1A812-A4BA-4D66-9DE6-694C519B9E86@gmail.com> <EF51E20B-BA42-4F44-BBBE-CD390E214A42@gmail.com> <cd67f63a0705010020h60c041eek16451e4c8e103c1a@mail.gmail.com> <C642E876-0CAF-47D6-8E29-987D202CDAAB@gmail.com> <cd67f63a0705010635o4b619479iae63871c51755b6a@mail.gmail.com> <08610813-0F6F-4BC4-BB22-42FB0CF5EC84@gmail.com> <cd67f63a0705010716h6bb3f07dt390e83adde4b2103@mail.gmail.com>
Mime-Version: 1.0 (Apple Message framework v752.3)
Content-Type: text/plain; charset=US-ASCII; format=flowed
Message-Id: <F95A45E0-59D4-432A-A36F-C97471761F4E@gmail.com>
Cc: "Caml List" <caml-list@inria.fr>
Content-Transfer-Encoding: 7bit
From: Joel Reymont <joelr1@gmail.com>
Subject: Re: Upgrading sexplib-2.7.0 to camlp4 3.10
Date: Tue, 1 May 2007 17:05:34 +0100
To: "Nicolas Pouillard" <nicolas.pouillard@gmail.com>
X-Mailer: Apple Mail (2.752.3)
X-j-chkmail-Score: MSGID : 46376551.000 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3
X-Miltered: at discorde with ID 46376551.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; camlp:01 expr:01 expr:01 2007,:98 wrote:01 patt:01 patt:01 ast:02 ast:02 match:02 match:02 let:03 let:03 matching:06 upgrading:06 


On May 1, 2007, at 3:16 PM, Nicolas Pouillard wrote:

> The second one is about match cases, the old type was (patt * expr
> option * expr) list, now it's match_case
>
> match_case, mc ::= (* empty *)
>                                 | mc1 | mc2
>                                 | p -> e
>                                 | p when e1 -> e2

Then

     let matching =
       (
         <:patt< ( $tup:Ast.paCom_of_list patts$ ) >>,
         None,
         expr
       )

becomes

let patt = <:patt< ( $tup:Ast.paCom_of_list patts$ ) >> in
<:match_case< $patt$ -> $expr$ >>

Right?

	Thanks, Joel

--
http://wagerlabs.com/