caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] [ANN] New release of Menhir (20211128)
@ 2021-12-03 13:58 François Pottier
  0 siblings, 0 replies; 1+ messages 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 
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.

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

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

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox