Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Florian Angeletti <florian.angeletti@inria.fr>
To: caml-list <caml-list@inria.fr>
Subject: [Caml-list] Second release candidate for OCaml 5.1.0
Date: Wed, 30 Aug 2023 09:08:25 +0100	[thread overview]
Message-ID: <1508820154.827312.1693382905209.JavaMail.zimbra@inria.fr> (raw)
In-Reply-To: <76ead9ad-28e4-c3a7-e567-ac8afe812c00@inria.fr>

Dear OCaml users,

In the last two weeks, two significant bugs have been discovered in the release candidate for OCaml 5.1.0 (one affecting the type system, another in the runtime).

Those bugs are now fixed and we are publishing a second release candidate to check that everything is in order before the release in the upcoming week.

If you find any bugs, please report them on OCaml's issue tracker (https://github.com/ocaml/ocaml/issues).

The full change log for OCaml 5.1.0 is available on GitHub (https://github.com/ocaml/ocaml/blob/5.1/Changes).
A short summary of the two bug fixes in this release candidate is also available below.

Happy hacking,
Florian Angeletti for the OCaml team.

----------------------------------------
Installation Instructions

The base compiler can be installed as an opam switch with the following commands on opam 2.1 and later:

    opam update
    opam switch create 5.1.0~rc2

The source code for the release candidate is also directly available on:

* GitHub : https://github.com/ocaml/ocaml/archive/5.1.0-rc2.tar.gz
* OCaml archives at Inria : https://caml.inria.fr/pub/distrib/ocaml-5.1/ocaml-5.1.0~rc2.tar.gz

If you want to tweak the configuration of the compiler, you can switch to the option variant with:

    opam update
    opam switch create <switch_name> ocaml-variants.5.1.0~rc2+options <option_list>

where `<option_list>` is a comma-separated list of `ocaml-option-*` packages. For instance, for a `flambda` and `no-flat-float-array` switch:

    opam switch create 5.1.0~rc2+flambda+nffa ocaml-variants.5.1.0~rc2+options ocaml-option-flambda ocaml-option-no-flat-float-array

All available options can be listed with `opam search ocaml-option`.

-------------------------

## Last Minute Bug Fixes in the rc2

### Type System:

* (*breaking change*) [#6941](https://github.com/ocaml/ocaml/issues/6941), [#11187](https://github.com/ocaml/ocaml/issues/11187), +[#12483](https://github.com/ocaml/ocaml/issues/12483): prohibit using classes through recursive modules
   inheriting or including a class belonging to a mutually-recursive module
   would previous behave incorrectly, and now results in a clean error.
   (Leo White, review by Gabriel Scherer and Florian Angeletti)

### Runtime

- [#12481](https://github.com/ocaml/ocaml/issues/12481), [#12505](https://github.com/ocaml/ocaml/issues/12505): Fix incorrect initialization of array expressions
  `[|e1;...;eN|]` when `N` is large enough to require major heap allocation.
  (Xavier Leroy, report by Andrey Popp, analysis by KC Sivaramakrishnan
   and Vincent Laviron, review by Gabriel Scherer)

  reply	other threads:[~2023-08-30  8:09 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-04-15  7:53 [Caml-list] First alpha release of " Florian Angeletti
2023-06-02  7:46 ` [Caml-list] Second " Florian Angeletti
2023-07-04 18:10   ` [Caml-list] First beta " Florian Angeletti
2023-08-02  7:39     ` [Caml-list] First release candidate for " Florian Angeletti
2023-08-30  8:08       ` Florian Angeletti [this message]
2023-09-07  8:59         ` [Caml-list] Third " 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=1508820154.827312.1693382905209.JavaMail.zimbra@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