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 sympa.inria.fr (Postfix) with ESMTPS id B490D824CF; Wed, 14 Nov 2018 13:55:35 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.56,232,1539640800"; d="scan'208";a="355631743" Received: from dt-64014.paris.inria.fr (HELO [128.93.64.14]) ([128.93.64.14]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 14 Nov 2018 13:55:35 +0100 To: menhir@inria.fr, caml users From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: Date: Wed, 14 Nov 2018 13:55:35 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: [Caml-list] [ANN] New release of Menhir (20181113) Hello, I would like to announce a new release of Menhir, 20181113. It is available via opam (opam update && opam install menhir). https://gitlab.inria.fr/fpottier/menhir/blob/master/CHANGES.md The main change is an experimental **new syntax** for rules. The new syntax is slightly more pleasant and powerful than the old syntax. The old syntax remains available; the user chooses between the two syntaxes on a per-rule basis. This blog post presents a couple demos that use the new syntax: http://gallium.inria.fr/blog/parser-construction-menhir-appetizers/ For expert users, I have also written a brief a summary of the differences between the old and new syntaxes: https://gitlab.inria.fr/fpottier/menhir/blob/master/doc/new-rule-syntax-summary.md Happy parsing, -- François Pottier francois.pottier@inria.fr http://gallium.inria.fr/~fpottier/