On Wed, Apr 15, 2009 at 5:30 AM, Martin Jambon <martin.jambon@ens-lyon.org> wrote:

blue storm wrote:
> On Wed, Apr 15, 2009 at 2:44 AM, Yaron Minsky <yminsky@gmail.com> 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.

y