* [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
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] 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