From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 299DFBBAF; Wed, 16 Jun 2010 20:31:05 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgEAMq1GExQDPIbZmdsb2JhbACeaxUNCwgIEgMfwDqFGgSDUg X-IronPort-AV: E=Sophos;i="4.53,427,1272837600"; d="scan'208";a="53267609" Received: from smtp20.orange.fr ([80.12.242.27]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Jun 2010 20:31:04 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2007.orange.fr (SMTP Server) with ESMTP id 409FC2002EBE; Wed, 16 Jun 2010 20:05:48 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2007.orange.fr (SMTP Server) with ESMTP id 4024D20086BC; Wed, 16 Jun 2010 19:41:48 +0200 (CEST) Received: from benjaminstrahs.thefacebook.com (out1-1601fw.corp.tfbnw.net [66.220.144.27]) by mwinf2007.orange.fr (SMTP Server) with ESMTP id 0FDE32009E11; Wed, 16 Jun 2010 18:28:09 +0200 (CEST) X-ME-UUID: 20100616162810651.0FDE32009E11@mwinf2007.orange.fr X-ME-User-Auth: padator@wanadoo.fr Subject: Re: [Caml-list] OCaml 3.12.0+beta1 Mime-Version: 1.0 (Apple Message framework v1078) Content-Type: text/plain; charset=us-ascii From: Yoann Padioleau In-Reply-To: Date: Wed, 16 Jun 2010 09:28:08 -0700 Cc: caml users Content-Transfer-Encoding: quoted-printable Message-Id: <26E62050-5666-43D5-A053-616EA7F0F727@wanadoo.fr> References: To: Damien Doligez X-Mailer: Apple Mail (2.1078) X-Spam: no; 0.00; ocaml:01 damien:01 ocaml:01 lbl:01 lbl:01 doligez:01 wrote:01 pat:01 pat:01 caml-list:01 grep:01 labels:03 jun:09 patterns:10 beta:12 On Jun 16, 2010, at 6:07 AM, Damien Doligez wrote: >=20 > Dear OCaml users, [...] > - Record patterns of the form { lbl =3D pat; _ } to mark that not all > labels are listed, purposefully. (See new warning below.) This is cool. Thank you! Does it have to be '_' only ? Can we write also = { lbl =3D pat; _XXX } ? It's just that _XXX is easier to grep.