From: Florian Angeletti <florian.angeletti@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] OCaml 4.11.0, third beta release
Date: Mon, 27 Jul 2020 16:44:25 +0200 [thread overview]
Message-ID: <d17f360b-8fe9-3cb8-2902-fe2744a92911@inria.fr> (raw)
In-Reply-To: <20200706210536.GA44983@prajna.paris.inria.fr>
Dear OCaml users,
The release of OCaml 4.11.0 is near.
As one step further in this direction, we have published a third
and potentially last beta release.
This new release fixes an infrequent bug in the experimental best-fit
allocator
and an issue with floating-point software emulation in the ARM EABI port.
On the opam ecosystem side, merlin is now available for this new version
of OCaml.
The compatibility of the opam ecosystem with OCaml 4.11.0 is currently
good, and it should be possible to test this beta without too much trouble.
The source code is available at these addresses:
https://github.com/ocaml/ocaml/archive/4.11.0+beta3.tar.gz
https://caml.inria.fr/pub/distrib/ocaml-4.11/ocaml-4.11.0+beta3.tar.gz
The compiler can also be installed as an OPAM switch with one of the
following commands:
opam update
opam switch create ocaml-variants.4.11.0+beta3
--repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git
or
opam update
opam switch create ocaml-variants.4.11.0+beta3+<VARIANT>
--repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git
where you replace <VARIANT> with one of these: afl, flambda, fp,
fp+flambda
We would love to hear about any bugs. Please report them here:
https://github.com/ocaml/ocaml/issues
Compared to the previous beta release, the exhaustive list of changes
is as follows:
Runtime:
- #9736, #9749: Compaction must start in a heap where all free blocks are
blue, which was not the case with the best-fit allocator.
(Damien Doligez, report and review by Leo White)
+ #9316, #9443, #9463, #9782: Use typing information from Clambda
for mutable Cmm variables.
(Stephen Dolan, review by Vincent Laviron, Guillaume Bury, Xavier Leroy,
and Gabriel Scherer; temporary bug report by Richard Jones)
Manual and documentation:
- #9541: Add a documentation page for the instrumented runtime;
additional changes to option names in the instrumented runtime.
(Enguerrand Decorne, review by Anil Madhavapeddy, Gabriel Scherer,
Daniel Bünzli, David Allsopp, Florian Angeletti,
and Sébastien Hinderer)
Entries marked with "+" were already present in previous alphas, but
they have been complemented by new bug fixes.
If you are interested by the list of new features, and the nearly final list
of bug fixes the updated change log for OCaml 4.11.0 is available at:
https://github.com/ocaml/ocaml/blob/4.11/Changes
Happy hacking,
-- Florian Angeletti for the OCaml team.
next prev parent reply other threads:[~2020-07-27 14:44 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-06 21:05 [Caml-list] OCaml 4.11.0, second " Sébastien Hinderer
2020-07-27 14:44 ` Florian Angeletti [this message]
2020-08-06 19:45 ` [Caml-list] OCaml 4.11.0, release candidate Florian Angeletti
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=d17f360b-8fe9-3cb8-2902-fe2744a92911@inria.fr \
--to=florian.angeletti@inria.fr \
--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