[Caml-list] First alpha release of OCaml 5.2.0

[Caml-list] First alpha release of OCaml 5.2.0

[Florian Angeletti]

[-- Attachment #1: Type: text/html, Size: 3554 bytes --]

[Caml-list] First beta release of OCaml 5.2.0

[Florian Angeletti]

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

Dear OCaml users, 

Nearly two months after the first alpha release, the release of OCaml 5.2.0 is drawing near. 

We have thus released a first beta version of OCaml 5.2.0 to help you update your softwares and libraries ahead of the release (see below for the installation instructions). 

Compared to the alpha release, this beta contains a majority of runtime system fixes, and a handful of other fixes across various subsystems. 

Overall, the opam ecosystem looks in a good shape for the first beta release. 
Most core development tools support OCaml 5.2.0 or have compatibility patches under review (for `odoc` and `ocamlformat`), and you can follow the last remaining wrinkles 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 end of April or 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~beta1 

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

* GitHub: https://github.com/ocaml/ocaml/archive/5.2.0-beta1.tar.gz 
* OCaml archives at Inria: https://caml.inria.fr/pub/distrib/ocaml-5.2/ocaml-5.2.0~beta1.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~beta1+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~beta1+flambda+nffa ocaml-variants.5.2.0~beta1+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 alpha 
--------------------------------------- 

## Runtime System Fixes 

- [#12875](https://github.com/ocaml/ocaml/issues/12875), [#12879](https://github.com/ocaml/ocaml/issues/12879), [#12882](https://github.com/ocaml/ocaml/issues/12882): Execute preemptive systhread switching as a 
delayed pending action. This ensures that one can reason within the 
FFI that no mutation happens on the same domain when allocating on 
the OCaml heap from C, consistently with OCaml 4. This also fixes 
further bugs with the multicore systhreads implementation. 
(Guillaume Munch-Maccagnoni, bug reports and suggestion by Mark 
Shinwell, review by Nick Barnes and Stephen Dolan) 

- [#12876](https://github.com/ocaml/ocaml/issues/12876): Port ThreadSanitizer support to Linux on POWER 
(Miod Vallat, review by Tim McGilchrist) 

- [#12678](https://github.com/ocaml/ocaml/issues/12678), [#12898](https://github.com/ocaml/ocaml/issues/12898): free channel buffers on close rather than on finalization 
(Damien Doligez, review by Jan Midtgaard and Gabriel Scherer, report 
by Jan Midtgaard) 

- [#12915](https://github.com/ocaml/ocaml/issues/12915): Port ThreadSanitizer support to Linux on s390x 
(Miod Vallat, review by Tim McGilchrist) 

- [#12914](https://github.com/ocaml/ocaml/issues/12914): Slightly change the s390x assembly dialect in order to build with 
Clang's integrated assembler. 
(Miod Vallat, review by Gabriel Scherer) 

- [#12897](https://github.com/ocaml/ocaml/issues/12897): fix locking bugs in Runtime_events 
(Gabriel Scherer and Thomas Leonard, 
review by Olivier Nicole, Vincent Laviron and Damien Doligez, 
report by Thomas Leonard) 

- [#12860](https://github.com/ocaml/ocaml/issues/12860): Fix an assertion that wasn't taking into account the possibility of an 
ephemeron pointing at static data. 
(Mark Shinwell, review by Gabriel Scherer and KC Sivaramakrishnan) 

- [#11040](https://github.com/ocaml/ocaml/issues/11040), [#12894](https://github.com/ocaml/ocaml/issues/12894): Silence false data race observed between caml_shared_try_alloc 
and oldify. Introduces macros to call tsan annotations which help annotate 
a ``happens before'' relationship. 
(Hari Hara Naveen S and Olivier Nicole, 
review by Gabriel Scherer and Miod Vallat) 

- [#12919](https://github.com/ocaml/ocaml/issues/12919): Fix register corruption in caml_callback2_asm on s390x. 
(Miod Vallat, review by Gabriel Scherer) 

- [#12969](https://github.com/ocaml/ocaml/issues/12969): Fix a data race in caml_darken_cont 
(Fabrice Buoro and Olivier Nicole, review by Gabriel Scherer and Miod Vallat) 

## Standard Library Fix 

- [#12677](https://github.com/ocaml/ocaml/issues/12677), [#12889](https://github.com/ocaml/ocaml/issues/12889): make Domain.DLS thread-safe 
(Gabriel Scherer, review by Olivier Nicole and Damien Doligez, 
report by Vesa Karvonen) 

## Type System Fix 

- [#12924](https://github.com/ocaml/ocaml/issues/12924), [#12930](https://github.com/ocaml/ocaml/issues/12930): Rework package constraint checking to improve interaction with 
immediacy 
(Chris Casinghino and Florian Angeletti, review by Florian Angeletti and 
Richard Eisenberg) 

## Compiler User-Interface Fix 

- [#12971](https://github.com/ocaml/ocaml/issues/12971), [#12974](https://github.com/ocaml/ocaml/issues/12974): fix an uncaught Ctype.Escape exception on some 
invalid programs forming recursive types. 
(Gabriel Scherer, review by Florian Angeletti, report by Neven Villani) 

## Build System Fixes 

+ [#12198](https://github.com/ocaml/ocaml/issues/12198), [#12321](https://github.com/ocaml/ocaml/issues/12321), [#12586](https://github.com/ocaml/ocaml/issues/12586), [#12616](https://github.com/ocaml/ocaml/issues/12616), [#12706](https://github.com/ocaml/ocaml/issues/12706), +[#13048](https://github.com/ocaml/ocaml/issues/13048): continue the merge of the 
sub-makefiles into the root Makefile started with [#11243](https://github.com/ocaml/ocaml/issues/11243), [#11248](https://github.com/ocaml/ocaml/issues/11248), 
[#11268](https://github.com/ocaml/ocaml/issues/11268), [#11420](https://github.com/ocaml/ocaml/issues/11420) and [#11675](https://github.com/ocaml/ocaml/issues/11675). 
(Sébastien Hinderer, review by David Allsopp and Florian Angeletti) 

+ [#12768](https://github.com/ocaml/ocaml/issues/12768), +[#13030](https://github.com/ocaml/ocaml/issues/13030): Detect mingw-w64 coupling with GCC or LLVM, detect clang-cl, 
and fix C compiler feature detection on macOS. 
(Antonin Décimo, review by Miod Vallat and Sébastien Hinderer) 

- [#13019](https://github.com/ocaml/ocaml/issues/13019): Remove linking instructions for the Unix library from threads.cma 
(this was done for threads.cmxa in OCaml 3.11). Eliminates warnings from 
new lld when using threads.cma of duplicated libraries. 
(David Allsopp, review by Nicolás Ojeda Bär) 

+ [#12758](https://github.com/ocaml/ocaml/issues/12758), +[#12998](https://github.com/ocaml/ocaml/issues/12998): Remove the `Marshal.Compression` flag to the 
`Marshal.to_*` functions. The compilers are still able to use 
ZSTD compression for compilation artefacts. 
This is a forward port and clean-up of the emergency fix that was introduced 

## Compiler Internals Fix 

+ [#12389](https://github.com/ocaml/ocaml/issues/12389), [#12544](https://github.com/ocaml/ocaml/issues/12544), [#12984](https://github.com/ocaml/ocaml/issues/12984), +[#12987](https://github.com/ocaml/ocaml/issues/12987): centralize the handling of metadata for 
compilation units and artifacts in preparation for better unicode support for 
OCaml source files. 
(Florian Angeletti, review by Vincent Laviron and Gabriel Scherer) 

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

[Caml-list] Second beta release of OCaml 5.2.0

[Florian Angeletti]

[-- 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 --]

[Caml-list] First release candidate of OCaml 5.2.0

[Florian Angeletti]

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

Dear OCaml users, 

The release of OCaml 5.2.0 is imminent. 
As a final step, we are publishing a release candidate to check that everything is in order before the release in the upcoming week(s). 

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

Compared to the second beta release, this release contains one small compiler-libs printer fix and one configuration tweak. 

The full change log for OCaml 5.2.0 is available on GitHub (https://github.com/ocaml/ocaml/blob/5.2/Changes). 
A short summary of the changes since the second beta release 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.2.0~rc1 

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

* GitHub: https://github.com/ocaml/ocaml/archive/5.2.0-rc1.tar.gz 
* OCaml archives at INRIA: https://caml.inria.fr/pub/distrib/ocaml-5.2/ocaml-5.2.0~rc1.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~rc1+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~rc1+flambda+nffa ocaml-variants.5.2.0~rc1+options ocaml-option-flambda ocaml-option-no-flat-float-array 

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

Changes since the second beta 
------------------------------------------ 

- #13130(https://github.com/ocaml/ocaml/issues/13130): Minor fixes to `pprintast` for raw identifiers and local module open 
syntax for types. 
(Chet Murthy, review by Gabriel Scherer) 

- #13100(https://github.com/ocaml/ocaml/issues/13100) Fix detection of `zstd` when compiling with `musl-gcc` 
(David Allsopp, review by Samuel Hym) 

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