caml-list - the Caml user's mailing list
 help / Atom feed
From: François Pottier <>
To: menhir-list <>, OCaML Mailing List <>
Subject: [Caml-list] [ANN] New release of Menhir (20211128)
Date: Fri, 3 Dec 2021 14:58:17 +0100
Message-ID: <> (raw)

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 
these problems.

   opam update
   opam install menhir.20211128


François Pottier

## 2021/11/28

* Revert a change in version 2021/11/25 regarding the printing of 
   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.

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox