From: Gabriel Scherer <gabriel.scherer@gmail.com>
To: caml users <caml-list@inria.fr>
Subject: [Caml-list] OCaml 4.06.1+rc2
Date: Tue, 6 Feb 2018 09:33:37 +0100 [thread overview]
Message-ID: <CAPFanBGeDBApvM0-PuhMyV1A76LQOa0Pt2ppsYyzmpqCq_VN3A@mail.gmail.com> (raw)
Dear OCaml users,
The release of OCaml version 4.06.1 is still imminent. We have
created a second release candidate for your testing pleasure. Please
try it and let me know whether it works for you. It is available as
opam switches 4.06.1.+rc2 (or +rc2+flambda, etc.)
opam switch 4.06.0+rc2
or as source archives at
http://caml.inria.fr/pub/distrib/ocaml-4.06/
The list of changes since 4.06.0 is included at the end of this
email.
The only change compared to 4.06.1+rc1 is that we backported some
pattern-matching changes (GPR#1550) already present in the development
version (trunk, 4.07.0+dev), which are necessary to prevent some
compile-time errors when matching on extensible datatypes or GADTs.
Happy hacking,
-- Gabriel Scherer for the OCaml team.
Changes:
- MPR#7661, GPR#1459: fix faulty compilation of patterns
using extensible variants constructors
(Luc Maranget, review by Thomas Refis and Gabriel Scherer, report
by Abdelraouf Ouadjaout and Thibault Suzanne)
- MPR#7702, GPR#1553: refresh raise counts when inlining a function
(Vincent Laviron, Xavier Clerc, report by Cheng Sun)
- MPR#7704, GPR#1559: Soundness issue with private rows and pattern-matching
(Jacques Garrigue, report by Jeremy Yallop, review by Thomas Refis)
- MPR#7705, GPR#1558: add missing bounds check in Bigarray.Genarray.nth_dim.
(Nicolás Ojeda Bär, report by Jeremy Yallop, review by Gabriel Scherer)
- MPR#7713, GPR#1587: Make pattern matching warnings more robust
to ill-typed columns; this is a backport of GPR#1550 from 4.07+dev
(Thomas Refis, review by Gabriel Scherer, report by Andreas Hauptmann)
- GPR#1470: Don't commute negation with float comparison
(Leo White, review by Xavier Leroy)
- GPR#1538: Make pattern matching compilation more robust to ill-typed columns
(Gabriel Scherer and Thomas Refis, review by Luc Maranget)
reply other threads:[~2018-02-06 8:34 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly 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:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAPFanBGeDBApvM0-PuhMyV1A76LQOa0Pt2ppsYyzmpqCq_VN3A@mail.gmail.com \
--to=gabriel.scherer@gmail.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox