caml-list - the Caml user's mailing list
 help / Atom feed
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
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.


      reply index

Thread overview: 2+ 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]

Reply instructions:

You may reply publically 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

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