caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] [ANN] New release of Menhir (20211128)
@ 2021-12-03 13:58 François Pottier
  0 siblings, 0 replies; only message in thread
From: François Pottier @ 2021-12-03 13:58 UTC (permalink / raw)
  To: menhir-list, OCaML Mailing List

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.

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-12-03 13:58 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-12-03 13:58 [Caml-list] [ANN] New release of Menhir (20211128) François Pottier

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).