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 c5ff346549e7 (Postfix) with ESMTPS id 8DF425D5 for ; Fri, 26 Nov 2021 09:27:02 +0000 (UTC) IronPort-Data: =?us-ascii?q?A9a23=3AE4jJ46rlNUpyg4GCBFMyFNPS7yheBmI/ZBIvgKr?= =?us-ascii?q?LsJaIsI5as4F+vmFKWGCCOa6Ja2GmfdxwPtni8BsAuJKGnIIyT1E6ri0wQiMRo?= =?us-ascii?q?6IpJ/zJdxaqZ3v6wu7rFR88sZ1GMrEsFC2FJ5Pljk/F3oPJ8D8sislkepKmULS?= =?us-ascii?q?dY3krG1c9IMscoUkLd9AR09cAbeeRU1vlVePa+6UzCXf9s9JGGjp8B5Gr9HuDi?= =?us-ascii?q?M/PVAYw5TTSUxzkUGj2zBH5BLpHTU24wuCRroN8RoZWTM6bpF21E/+wwvsjNj+?= =?us-ascii?q?luu6TnkwiWa/XJQHIi3xMWqHkjAIqSi4ai/xrcqtHLx4J0XPQwYgZJNZl7PRcT?= =?us-ascii?q?S8iN6jI3eAcSAUdFD54MLdu+bndIHH5v9b7I0juLSGxn6Q2VinaOqVdoI6bG1p?= =?us-ascii?q?m/vUdLCoMaQyrjuOsxbu6Tq9njawLJ8DuOMYbu2p85TrCEfE8QtbEWaqizdRR2?= =?us-ascii?q?TM0h9tSNfrZYM8UZCApZxPFCzVEM1ITTZY/h/uAiHj1dDtRo1mU460t7AD7xwV?= =?us-ascii?q?02aLkPNfJZ8yiSsBcn0LerWXDl0zyCxYINNGZkWqt/Xelh+uJliT+MKoZHaWk/?= =?us-ascii?q?/9snF2OwGAeEjUZUFK6pb+yjUvWc9lWLkhR/is1sYAz8kasXp/6VBS9pDiDpBF?= =?us-ascii?q?0c9FZFuk+6RqR4qvS6AeLC2RCRTlEAPQtvcs7QzAjzESIg97yLT1pq6GUQnnb8?= =?us-ascii?q?a2bxRu5MC0RaGsDfjMsSA8E+MX45p0zgw3VT8p/Haiqicf5Xzr3xli3QIIW71k?= =?us-ascii?q?IpdYR0Kn++VHcnz+3u8GZCA8z/ATeGGy/hj6VrbWNP+SAgWU3J94Zdu51lmW8g?= =?us-ascii?q?UU=3D?= X-IronPort-AV: E=Sophos;i="5.87,265,1631570400"; d="scan'208";a="6254902" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Nov 2021 10:27:01 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E7824E0382; Fri, 26 Nov 2021 10:27:00 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3B11AE037F; Fri, 26 Nov 2021 10:26:56 +0100 (CET) IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AoDDzbqveQmU6Qs5yJG9rZyRp7skCIIAji2hC?= =?us-ascii?q?6mlwRA09TyXGrbHMoB1L73/JYWgqOU3IwerwR5VoMkmsi6KdgLNhfItKOTOMhI?= =?us-ascii?q?LGFvAY0WKP+UyFJ8S6zJ8g6U5sScJD4b7LfBhHZKTBkXOF+r8bqbHqn87Y55a6?= =?us-ascii?q?854ud3AWV0gK1XYeNu/vKDwPeOAwP+tBKHPz3Lshm9OnQxkqR/X+IkNAc/nIpt?= =?us-ascii?q?XNmp6jSwUBHQQb5A6Hii7twKLmEjCDty1uEQ9n8PMHyyzoggb57qKsv7WQ0RnH?= =?us-ascii?q?zVLe6JxQhZ/I1sZDPsqRkcIYQw+czzpAJb4RH4FqjgpF5t1H22xayeUkZC1QZ/?= =?us-ascii?q?ib3kmhOV1dZyGdgDUIngxesUMKgmXo8EcL6faJNA7STfAxxr6xOyGpmXYIps1z?= =?us-ascii?q?3q5Qwm6VgZJLEBvLnSDw4MX/TR1xjEqzpkwjnIco/g9ieJpbZ7lLoYMF+kRJVJ?= =?us-ascii?q?8GASLh8YgiVPJjFcfG+Z9tAB+nhl3izyNSKeaXLzkO99a9Mz4/k93Q1yITkGFy?= =?us-ascii?q?zkMeysBalnAc9IglQ50B4+jfKKxnmLxHU8dTNMtGdak8aNryDnaITQPHMWqUL1?= =?us-ascii?q?iiHKYbO2jVo5qy5Lku/umldJEB0ZN3kpXcV1FTs3I0ZivVeIKz9YwO9gqITHS2?= =?us-ascii?q?XDzrxM0b759luqfkTL6uKiGHQEBGqbrqnxzeOLySZx+eAuMjPxbTFxqmJW8S5X?= =?us-ascii?q?yKZ3B7EwhobPEo?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="400200257" Received: from wifi-pro-83-154.paris.inria.fr ([128.93.83.154]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Nov 2021 10:26:55 +0100 To: menhir-list , OCaML Mailing List From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: <062bd632-4a36-feb2-4d67-38272b0bcbf4@inria.fr> Date: Fri, 26 Nov 2021 10:26:55 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:68.0) Gecko/20100101 Thunderbird/68.12.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: fr Content-Transfer-Encoding: 8bit Subject: [Caml-list] [ANN] New release of Menhir (20211125) Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= X-Loop: caml-list@inria.fr X-Sequence: 18619 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Dear OCaml and Menhir users, I am pleased to announce a new release of Menhir, with an exciting contribution by Frédéric Bour: a groundbreaking performance improvement in `menhir --list-errors`. This is made possible by an entirely new reachability algorithm, which has been designed and implemented by Frédéric, and which is described in our paper "Faster Reachability Analysis for LR(1) Parsers". This is the link to the paper: http://cambium.inria.fr/~fpottier/publis/bour-pottier-reachability.pdf To install the new release, just type opam update opam install menhir.20211125 Enjoy! -- François Pottier Francois.Pottier@inria.fr http://cambium.inria.fr/~fpottier/ * The command `menhir --list-errors` has been sped up by a factor of up to x100, and requires up to x1000 less memory, thanks to a new LR(1) reachability algorithm, which has been designed and implemented by Frédéric Bour. * Better document the restricted way in which the `error` token must be used when using `--strategy simplified`. Menhir now checks that this token is used only at the end of a production, and warns if this is not the case. (Better yet, our suggestion is to not use the `error` token at all!) * The `$syntaxerror` keyword is now forbidden when using `--strategy simplified`. This keyword will be entirely removed in the next release. Incidentally, we have just found out that it behaves differently under the code back-end and under the table back-end. * Disable OCaml warning 39 (unused rec flag) in the OCaml code produced by Menhir's code back-end. This does not affect the table back-end. (Reported by Armaël Guéneau.) * Fix a bug in `--random-*` which could cause Menhir to diverge if the grammar uses the `error` token. * Warn if a terminal symbol is named `Error`. This creates a name clash in the public interface of the generated parser. * Menhir now requires OCaml 4.03.0 (instead of 4.02.3) and Dune 2.8.0 (instead of 2.0.0).