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 beta release of OCaml 5.2.0
Date: Tue, 16 Apr 2024 14:26:14 +0200 (CEST)	[thread overview]
Message-ID: <1286918053.975614.1713270374133.JavaMail.zimbra@inria.fr> (raw)
In-Reply-To: <521387019.8365666.1711379748150.JavaMail.zimbra@inria.fr>

[-- Attachment #1: Type: text/plain, Size: 4159 bytes --]

Dear OCaml users, 

Last week, we merged an update to the compiler-libs "shape" API for querying 
definition information from the compiler in the 5.2 branch of the compiler. 

Unfortunately, this small change of API breaks compatibility with at least odoc. 
Generally, we try to avoid this changes to the compiler library during the beta 
releases of the compiler. However, after discussions, we concluded that it will 
be easier on the long term to fix the API right now in order to avoid multiplying 
the number of supported versions of the shape API in the various OCaml 
developer tools . 

We have thus released a second beta version of OCaml 5.2.0 to give the time 
to developer tools to update their 5.2.0 version ahead of the release 
(see below for the installation instructions). 

Beyond this changes of API, the new beta contains three minor bug fixes and three 
documentation updates, which is a good sign in term of stability. 

As usual, you can follow the last remaining compatibility slags on the 
opam readiness for 5.2.0 meta-issue (https://github.com/ocaml/opam-repository/issues/25182). 

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

Currently, the release is planned for the beginning of May. 

If you are interested in full list of features and bug fixes of the new OCaml version, the 
updated change log for OCaml 5.2.0 is available on GitHub (https://github.com/ocaml/ocaml/blob/5.2/Changes). 

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: 

opam update 
opam switch create 5.2.0~beta2 

The source code for the beta is also available at these addresses: 

- GitHub: https://github.com/ocaml/ocaml/archive/5.2.0-beta2.tar.gz 
- OCaml archives at Inria: https://caml.inria.fr/pub/distrib/ocaml-5.2/ocaml-5.2.0~beta2.tar.gz 

Fine-Tuned Compiler Configuration 
----------------------------------------------- 

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.2.0~beta2+options <option_list> 

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

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

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

Changes since the first beta 
---------------------------- 

### Compiler-libs API Changes 

- #13001(https://github.com/ocaml/ocaml/issues/13001): do not read_back entire shapes to get aliases' uids when building the 
usages index 
(Ulysse Gérard, review by Gabriel Scherer and Nathanaëlle Courant) 

### Bug Fixes 

- #13058(https://github.com/ocaml/ocaml/issues/13058): Add TSan instrumentation to caml_call_gc(), since it may raise 
exceptions. 
(Fabrice Buoro, Olivier Nicole, Gabriel Scherer and Miod Vallat) 

- #13079(https://github.com/ocaml/ocaml/issues/13079): Save and restore frame pointer across Iextcall on ARM64 
(Tim McGilchrist, review by KC Sivaramakrishnan and Miod Vallat) 

- #13094(https://github.com/ocaml/ocaml/issues/13094): Fix undefined behavior of left-shifting a negative number. 
(Antonin Décimo, review by Miod Vallat and Nicolás Ojeda Bär) 

### Documentation Updates 

- #13078(https://github.com/ocaml/ocaml/issues/13078): update Format tutorial on structural boxes to mention alignment 
questions. 
(Edwin Török, review by Florian Angeletti) 

- #13092(https://github.com/ocaml/ocaml/issues/13092): document the existence of the `[@@poll error]` built-in attribute 
(Florian Angeletti, review by Gabriel Scherer) 

- #13066(https://github.com/ocaml/ocaml/issues/13066), update OCAMLRUNPARAM documentation for the stack size parameter l 
(Florian Angeletti, review by Nicolás Ojeda Bär, Tim McGilchrist, and Miod Vallat) 

[-- Attachment #2: Type: text/html, Size: 4728 bytes --]

  reply	other threads:[~2024-04-16 12:26 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-02-07 10:06 [Caml-list] First alpha " Florian Angeletti
2024-03-25 15:15 ` [Caml-list] First beta " Florian Angeletti
2024-04-16 12:26   ` Florian Angeletti [this message]
2024-05-03 15:28     ` [Caml-list] First 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=1286918053.975614.1713270374133.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