From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTP id C7EB95D5
	for <caml-list@inbox.ocaml.org>; Fri,  3 Dec 2021 13:58:23 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.87,284,1631570400"; 
   d="scan'208";a="8222060"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 03 Dec 2021 14:58:22 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 0B330E010F; Fri,  3 Dec 2021 14:58:22 +0100 (CET)
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 01CC9E00C9;
	Fri,  3 Dec 2021 14:58:18 +0100 (CET)
IronPort-Data: =?us-ascii?q?A9a23=3ADZTCIKt1itsDAFEQk3TIjNjLqOfnVJ1cMUV32f8?=
 =?us-ascii?q?akzHdYEJGY0x3mmUYUG2BOvyPMTGmKN8iaYmz8UoFsZTWnIA2SQpvqn9gHilAw?=
 =?us-ascii?q?SbnLYTAfx2oZ0t+DeWaERk5t51GAjX4wXFdokb0/n9BCZC86ykjvU20buCkUre?=
 =?us-ascii?q?dYHgqHVYMpBoJ0nqPpcZo2+aEvvDpW2thifuqyyHuEAfNNwxcagr42IrfwP9bh?=
 =?us-ascii?q?8kejRtD1rAIiV+ni3eF/5UdJMp3yahctBIUSKEMdgKxb76rIL1UYgrkExkR5tO?=
 =?us-ascii?q?Nyt4Xc2UvS7X4Og+Nz0JMXO3/xBxFrSU2uko5HKtFLx4I1nPQxY83kowQ3XCzY?=
 =?us-ascii?q?V5B0qnklv4UVRJfEjo4Japa5L7KO1C+t9aSxgvIaRMAxt0+VhtsZdZAkgpwKSQ?=
 =?us-ascii?q?UnRACExgGZxWHwua3266TUfhpns1lLc/xPYpZtGsI5TTUC/YnW7jYUqDS7JlZ2?=
 =?us-ascii?q?i0xj4ZAB57ji2AxAdZ0REWZJkQQZxJOUs17xr71wGLieSYesEiStaM7pW7e0GR?=
 =?us-ascii?q?MPHHWGIK9UrS3qQ99xC50fl77wlk=3D?=
IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AtysrBq+r/8qznjBXYp1uk+DdI+orL9Y04lQ7?=
 =?us-ascii?q?vn2ZKCYlFfBw+Pre+cjzuSWVtN9zYgBFpTnjAsi9qBrnnPYfi+R/U4tKNzOW2l?=
 =?us-ascii?q?dAQrsSjrcKuQeQYhEWjtQtrZuIL5IOc+EYdmIK6/oSPzPVL+od?=
X-IronPort-AV: E=Sophos;i="5.87,284,1631570400"; 
   d="scan'208";a="8222030"
Received: from 91-175-127-215.subs.proxad.net (HELO MacBook-Pro-5.local) ([91.175.127.215])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Dec 2021 14:58:17 +0100
To: menhir-list <menhir@inria.fr>, OCaML Mailing List <caml-list@inria.fr>
From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
Message-ID: <aa4a7766-e015-0235-eb3f-dbbd96c7a2a4@inria.fr>
Date: Fri, 3 Dec 2021 14:58:17 +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 (20211128)
Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
X-Loop: caml-list@inria.fr
X-Sequence: 18621
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2021-12/aa4a7766-e015-0235-eb3f-dbbd96c7a2a4%40inria.fr>


Dear OCaml & Menhir users,

The recent release of Menhir (20211125) creates some difficulties with OCaml
versions 4.07 to 4.10, where it triggers a type-checker bug (fixed in 4.11).

A new release of Menhir (20211128) appears today and is expected to 
eliminate
these problems.

   opam update
   opam install menhir.20211128

Enjoy,

--
François Pottier
francois.pottier@inria.fr
http://cambium.inria.fr/~fpottier/

## 2021/11/28

* Revert a change in version 2021/11/25 regarding the printing of 
universally
   quantified variables in type schemes. (They were explicitly printed in
   2021/11/25; they are omitted again.) Printing these universal quantifiers
   would trigger a type-checker bug in OCaml between versions 4.07 and 4.10.

* Avoid using the expression `raise Not_found` in the mock `.ml` files
   generated by `menhir --infer` for type inference purposes. The use
   of this expression can trigger deprecation warnings in some projects.

* Update the `man` page.