Second beta release of OCaml 5.3.0 #26989
Merged
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 expected triplet of compiler packages for the second beta release of OCaml 5.3.0
This second beta release of OCaml 5.3.0 mostly contains type system bug fixes, a C++ header compatibility fix and a backward compatibility configuration fix.
I am expecting that we move toward a release candidate pretty fast.
Changes since the first beta
during the build of the compiler itself. Do not use them when
compiling third-party C sources through the compiler. Flags for
compiling third-party C sources can still be specified at configure
time in the COMPILER_{BYTECODE,NATIVE}_{CFLAGS,CPPFLAGS}
configuration variables.
(Sébastien Hinderer, report by William Hu, review by David Allsopp)
13501: Regression on mutually recursive types caused by 12180.
Resuscitate Typedecl.update_type.
(Jacques Garrigue and Takafumi Saikawa, review by Florian Angeletti, Richard
Eisenberg and Gabriel Scherer)
13495, 13514: Fix typechecker crash while typing objects
(Jacques Garrigue, report by Nicolás Ojeda Bär, review by
Nicolas Ojeda Bär, Gabriel Scherer, Stephen Dolan, Florian Angeletti)
13541, 13591: Fix headers for C++ inclusion.
(Antonin Décimo, review by Nick Barnes, report by Kate Deplaix)
13598: Falsely triggered warning 56 [unreachable-case]
This was caused by unproper protection of the retyping function.
(Jacques Garrigue, report by Tõivo Leedjärv, review by Florian Angeletti)
13603, 13604: fix source printing in the presence of the escaped raw
identifier
\#mod
.(Florian Angeletti, report by Chris Casinghino, review by Gabriel Scherer)