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
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 9CEDABC69
	for <caml-list@yquem.inria.fr>; Tue,  1 May 2007 18:19:02 +0200 (CEST)
Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.233])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l41GJ1CT026440
	for <caml-list@inria.fr>; Tue, 1 May 2007 18:19:02 +0200
Received: by nz-out-0506.google.com with SMTP id l8so2425137nzf
        for <caml-list@inria.fr>; Tue, 01 May 2007 09:19:00 -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=LcoD0Nlh6J8f7FiYodvbUXoInfP9vKo+zFKcNcNRaUMnUVgXxXd3jmOS1eGgjkJA63eezbMv/bje02Vp/Z1oD66AvQX8StQ53h6T2FRGR/xgsyZEWYoxi7FERPJm7eQeQww4bC2lT2lHzzPutdk6R60Pop9qaUluuAG73QTqfZo=
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=B+Ya9gBSvx0q0kiSOxd6bjXZRbhhJJ4OWv6cwAWWNfmAG/dg5iqI4RJxx2cVrctkBVFfvrYagS3qs0jq9rhInLYMI8NlawmKEA8wV7gp912ximeUmUDPPCCgFxdVKr8iMICg9ERh9uPylKHGRmsbaNvGkjnsOWbmo7KPfeXS0aQ=
Received: by 10.114.148.1 with SMTP id v1mr2460289wad.1178036340218;
        Tue, 01 May 2007 09:19:00 -0700 (PDT)
Received: by 10.114.183.15 with HTTP; Tue, 1 May 2007 09:19:00 -0700 (PDT)
Message-ID: <cd67f63a0705010919k2bcc7f02jf28c6ddf08f6bb9b@mail.gmail.com>
Date: Tue, 1 May 2007 18:19:00 +0200
From: "Nicolas Pouillard" <nicolas.pouillard@gmail.com>
To: "Joel Reymont" <joelr1@gmail.com>
Subject: Re: Upgrading sexplib-2.7.0 to camlp4 3.10
Cc: "Caml List" <caml-list@inria.fr>
In-Reply-To: <F95A45E0-59D4-432A-A36F-C97471761F4E@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <220DCCF0-FD2D-4116-8E30-992C1AD3FE95@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>
	 <F95A45E0-59D4-432A-A36F-C97471761F4E@gmail.com>
X-j-chkmail-Score: MSGID : 46376875.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 46376875.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 wrote:01 patt:01 patt:01 shorter:02 ast:02 ast:02 match:02 match:02 let:03 let:03 

On 5/1/07, Joel Reymont <joelr1@gmail.com> wrote:
>
> 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?

Or even shorter:

<:match_case< ( $tup:Ast.paCom_of_list patts$ ) -> $expr$ >>


-- 
Nicolas Pouillard