From: Florian Angeletti <florian.angeletti@inria.fr>
To: caml-list@inria.fr, caml-announce@inria.fr
Subject: [Caml-list] OCaml 5.5.2 released
Date: Fri, 23 Oct 2026 23:25:37 +0200 [thread overview]
Message-ID: <52723171-b025-4e1d-ba0e-2fcd76a025f0@inria.fr> (raw)
Dear OCaml users,
We have the pleasure of celebrating the anniversary of the first
powered flight in Europe by announcing the release of OCaml 5.5.2.
OCaml 5.5.2 fixes six minor security issues, two rare miscompilations, a
configuration issue with future versions of macOS, and one runtime
events library issue.
Overall, if you were already using any versions of OCaml 5.5,
we are advising you to switch to OCaml 5.5.2 .
The full list of bug fixes is available below for more details.
Happy hacking,
-- Florian Angeletti, for the OCaml team.
Installation Instructions
-----------------------------------
The base compiler can be installed as an opam switch with the following
commands:
opam update
opam switch create 5.5.2
The source code for the release is also directly available on:
* GitHub: https://github.com/ocaml/ocaml/archive/5.5.2.tar.gz
* Inria archive:
https://caml.inria.fr/pub/distrib/ocaml-5.5/ocaml-5.5.2.tar.gz
Bug Fixes
--------------
- #15045(https://github.com/ocaml/ocaml/issues/15045): Atomic loads
whose results are unused should not be removed
during dead-code elimination.
(Xavier Clerc, review by Steven Dolan and KC Sivaramakrishnan)
- #15067(https://github.com/ocaml/ocaml/issues/15067),
[#15071](https://github.com/ocaml/ocaml/issues/15071): Fix detection of
functions available in the future on macOS.
(Antonin Décimo, review by Nicolás Ojeda Bär and Damien Doligez)
- #15112(https://github.com/ocaml/ocaml/issues/15112), OSEC-2026-22:
`Unix.map_file`: protect against overflow
when computing the data size.
(Xavier Leroy and Nicolás Ojeda Bär, review by Nicolás Ojeda Bär
and Edwin Török)
- #15113(https://github.com/ocaml/ocaml/issues/15113), OSEC-2026-21:
`Str.string_partial_match`: make sure captured groups
are valid.
(Xavier Leroy, review by Nicolás Ojeda Bär and Edwin Török)
- #15115(https://github.com/ocaml/ocaml/issues/15115), OSEC-2026-23: Fix
multiple issues in demarshaling
(`Marshal.from_{channel,string,bytes}`)
(Xavier Leroy, review by Nicolás Ojeda Bär)
- #15133(https://github.com/ocaml/ocaml/issues/15133), OSEC 2026-24:
Multiple issues in command quoting on Windows
(Xavier Leroy and Nicolás Ojeda Bär, review by Nicolás Ojeda Bär)
- #15119(https://github.com/ocaml/ocaml/issues/15119), OSEC-2026-25:
Harden decoding of runtime events messages from
ring buffers.
(Sadiq Jaffer, report by Hannes Mehnert, review by Olivier Nicole and
Edwin Török)
- #15177(https://github.com/ocaml/ocaml/issues/15177), OSEC-2026-26:
Maintain custom events cache integrity.
(Sadiq Jaffer, report by Hannes Mehnert, review by Edwin Török)
- #15043(https://github.com/ocaml/ocaml/issues/15043),
[#15076](https://github.com/ocaml/ocaml/issues/15076): runtime events
library, fix an infinite loop when a user
event is larger than half the ring buffer.
(Tim McGilchrist, review by Sadiq Jaffer)
- #15185(https://github.com/ocaml/ocaml/issues/15185),
[#15187](https://github.com/ocaml/ocaml/issues/15187): fix a
pattern-matching miscompilation on certain
combinations of immediate ranges and redundant patterns
(Gabriel Scherer, report by Alperer Keleş,
review by Vincent Laviron and Florian Angeletti)
reply other threads:[~2026-10-23 21:25 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=52723171-b025-4e1d-ba0e-2fcd76a025f0@inria.fr \
--to=florian.angeletti@inria.fr \
--cc=caml-announce@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