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=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id AAB52BBC4 for ; Wed, 15 Apr 2009 14:07:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmsEADtr5UlCbwQaZ2dsb2JhbACND4kBDQkFBwcRBLwHg34G X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; d="scan'208";a="27723527" Received: from out2.smtp.messagingengine.com ([66.111.4.26]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Apr 2009 14:07:44 +0200 Received: from compute1.internal (compute1.internal [10.202.2.41]) by out1.messagingengine.com (Postfix) with ESMTP id 5A2FF31C3A5; Wed, 15 Apr 2009 08:07:43 -0400 (EDT) Received: from heartbeat1.messagingengine.com ([10.202.2.160]) by compute1.internal (MEProxy); Wed, 15 Apr 2009 08:07:43 -0400 X-Sasl-enc: oqpHqP1KQ3jWkPGUn2Db8iM6W0Z73Q2WZTFdCQFGzK4I 1239797262 Received: from [192.168.1.10] (ALyon-157-1-93-31.w90-41.abo.wanadoo.fr [90.41.76.31]) by mail.messagingengine.com (Postfix) with ESMTPSA id ABF9EFB3E; Wed, 15 Apr 2009 08:07:42 -0400 (EDT) Message-ID: <49E5CD31.5040409@ens-lyon.org> Date: Wed, 15 Apr 2009 14:04:01 +0200 From: Martin Jambon User-Agent: Thunderbird 2.0.0.17 (X11/20081008) MIME-Version: 1.0 To: yminsky@gmail.com Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] pattern matching and records vs tuples References: <87skkbuxx8.fsf@aryx.cs.uiuc.edu> <891bd3390904141744k4516f3d0y551f6c572ccadad5@mail.gmail.com> <527cf6bc0904150041u7fa9e30dt3c5b5b8b0ab67ebf@mail.gmail.com> <49E5A930.4020508@ens-lyon.org> <891bd3390904150401sb4b9ac4jef38bef736e82c27@mail.gmail.com> In-Reply-To: <891bd3390904150401sb4b9ac4jef38bef736e82c27@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ens-lyon:01 yaron:01 minsky:01 ens-lyon:01 yaron:01 minsky:01 yminsky:01 yminsky:01 syntax:01 post-:01 camlp:01 oandrieu:01 ocaml:01 ocaml:01 syntax:01 Yaron Minsky wrote: > > > On Wed, Apr 15, 2009 at 5:30 AM, Martin Jambon > > wrote: > > blue storm wrote: > > On Wed, Apr 15, 2009 at 2:44 AM, Yaron Minsky > wrote: > > That part is achieved by the pa_records [1] syntax extension. > > To my knowledge, it has not been port to post-3.10 camlp4 yet, but if > > you're interested, I could probably do it. > > > > [1] http://oandrieu.nerim.net/ocaml/#pa_records > > It's in the works for the next release of OCaml, according to Xavier > Leroy's > talk at the OCaml meeting in Grenoble (Feb 2009). > > > What's in the works? The lighter record syntax (let { foo; bar } = x) > or the exhaustiveness check on record matches? I vaguely remember > hearing something about the former, but not the latter. The syntax { foo; bar }. -- http://mjambon.com/