OCaml 5 Beta2 Release

Just about a month after the OCaml 5 Beta release, the OCaml 5 Beta2 version has been released, taking us one step closer to the full OCaml 5 with Multicore release later this year. The OCaml community's collaboration is coming to fruition! Although we're not quite ready for the RC1 (Release Candidate) version, several things have been added and improved with Beta2.

To learn more about the exciting things coming with OCaml 5, please watch KC Sivaramakrishnan’s keynote address and check out his speaker slide deck as well. As always, feel free to contact us for more information about using OCaml and for support on your OCaml projects.

Here's a partial list of improvements/fixes with issue numbers:

• #11631 - fix an assertion dealing with a segfault found by the Multicore test suite
• #11662, #11673 - memory leak affecting dynlink with frame descriptor tables (reported by Frama-C devs)
• #11704, #11669 - segfault with effects fixed, having been tracked down to the refactoring of Effect.Unhandled
• #11701 - fix spurious .dSYM files and directories being created on macOS
• #11671 - bug in top_heap_words statistics accounting fix
• #11670 - macOS fix when creating empty archives
• #11097 - NetBSD fixes, including ARM64 support
• #11194, #11609 - fixes a regression from 4.14
• #11622 - fixes a regression in error messages since 4.10
• #11725 - remove caml_alloc_N
• #11661 - erroneous -force-tmc option removed
• #11367, #11652 - Windows clean-ups
• #11611 - fix --disable-instrumented-runtime
• #11639 - configuration bookkeeping (ensure system, etc., always set)
• #11632 - minor bookkeeping bug fix
• #11559, #11649, #11640, #11301, #11705 - docs updates

In short, we're continuing to stabilise the release. We're also dealing with reports coming from the wonderful testing that's been going on, especially Multicore tests and the Frama-C report. Keep those testing reports and feedback coming by opening an issue on the GitHub repo or chiming in through the OCaml Discuss forum post.

Thanks to the hard work by all engineers working to make OCaml even better than before. It's a beautiful sight to watch brilliant developers come together on an open-source project like OCaml, and Tarides is proud to be part of this ever-growing community.