Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds the opam packages for the first beta release of OCaml 5.2.0 (
ocaml-base
andocaml-variants.5.2.0~beta1+options
).Compared to the first alpha, this beta release contains a majority of runtime-related fixes, and
a handful of fixes uniformly distributed on various subsystems
(build and configuration, error messages, type system, standard library, compiler internals).
Changes compared to the first alpha release
Runtime system
12875, 12879, 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: Port ThreadSanitizer support to Linux on POWER
(Miod Vallat, review by Tim McGilchrist)
12678, 12898: free channel buffers on close rather than on finalization
(Damien Doligez, review by Jan Midtgaard and Gabriel Scherer, report
by Jan Midtgaard)
12915: Port ThreadSanitizer support to Linux on s390x
(Miod Vallat, review by Tim McGilchrist)
12914: Slightly change the s390x assembly dialect in order to build with
Clang's integrated assembler.
(Miod Vallat, review by Gabriel Scherer)
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: 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, 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: Fix register corruption in caml_callback2_asm on s390x.
(Miod Vallat, review by Gabriel Scherer)
12969: Fix a data race in caml_darken_cont
(Fabrice Buoro and Olivier Nicole, review by Gabriel Scherer and Miod Vallat)
Standard library
(Gabriel Scherer, review by Olivier Nicole and Damien Doligez,
report by Vesa Karvonen)
Type system
immediacy
(Chris Casinghino and Florian Angeletti, review by Florian Angeletti and
Richard Eisenberg)
Compiler user-interface
invalid programs forming recursive types.
(Gabriel Scherer, review by Florian Angeletti, report by Neven Villani)
Build system
12198, 12321, 12586, 12616, 12706, +13048: continue the merge of the
sub-makefiles into the root Makefile started with 11243, 11248,
11268, 11420 and 11675.
(Sébastien Hinderer, review by David Allsopp and Florian Angeletti)
12768, +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)
(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)
Marshal.Compression
flag to theMarshal.to_*
functions. The compilers are still able to useZSTD compression for compilation artefacts.
This is a forward port and clean-up of the emergency fix that was introduced
Compiler internals
compilation units and artifacts in preparation for better unicode support for
OCaml source files.
(Florian Angeletti, review by Vincent Laviron and Gabriel Scherer)