From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=D1RVVYL6; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id AF1DB4008C for ; Thu, 11 Jun 2026 13:42:55 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:in-reply-to:references: mime-version:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=6K2we5gYTZr7hAkl3l5X/SYV6CD5n34hfISyI+F4yLY=; b=D1RVVYL6G3BmRbj7fxpDix7l7AExKP3oJtROTDl14wQsDLzcZKPzW0oe XnkswHPuxY+LXSEnykdZ5LcSfsghc6hS65epEZB21iS0nept/qOTiIdof bE+O+hYg4ukmSRlxmULuxXdW5Bidgq04zEKAgTZCQb8lEP0a957F5/77K k=; X-CSE-ConnectionGUID: /Hmy6N9zSIS1PWI2iDIbBQ== X-CSE-MsgGUID: I6g85a99Rw6dN5tmHI74Ow== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.24,199,1774306800"; d="scan'208,217";a="281054038" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Jun 2026 15:42:54 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id EDC6A82279; Thu, 11 Jun 2026 15:42:53 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 16998821FB for ; Thu, 11 Jun 2026 15:42:46 +0200 (CEST) X-CSE-ConnectionGUID: aBOE+X/uSuK883F1pvHkUA== X-CSE-MsgGUID: VmkywpOxQHy5vq0QlSKP1Q== X-ThreatScanner-Verdict: Negative IronPort-Data: A9a23:88KGNKKkLp/J7JPYFE+R65QlxSXFcZb7ZxGr2PjKsXjdYENS0TQCy jRLWT/VMqyONmb8L9B1O4209kJU75fXnIUxGVdorCE8RH909fbIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVqicfHw3HVY6IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7kkz1BjOkGlA5AJmO6kS5AW2e0Q9V/rzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk b2hhrTpIesdBZAgrcxBO/VuO3EnbPceoNcrFlDk2SCb5xWun3IBWJyCBmluVWET0r8f7W2ja ZX0gd3CB/yOr7ve/V61dgVjrs0JC+SoDMQCgWxDnWGCI68+X7DAfoyfsLe03B9o7ixPNeTVf JBcciZodhmZJRxJIFYeTpwk9AuqriClI3sJ8xTM+fBxuAA/zyQpuFTpGNTRfcaLTMMTl0CXq 2bL43j4KhAcLt2WjzSfmp6prrWfxHumA9NITdVU8NZUhV6C2XQ0GCQ2RAaluKGAjnWdY4tmf hl8Fi0G6PJaGFaQZtL0Whn9pH+fojYHSt9IGqs77huMw+za+W6k6nMsXDVaMpk9qMgsSGVs1 1mTntqvCyYHXKCpdE9xP4y89VuaURX550dYDcPYZWPpIuUPob3fSjrdRc05VbWpicf4QHfxx SqLpW4wnd3/SCLNO7qTpTj6b/CE/vAljTLZIi3WWHik50V3fuZJoqS2vEPD468owJmxFzG8g ZTPpyRSAC3iw31AeOxhjdjhxI2U2ss= IronPort-HdrOrdr: A9a23:i7cweajEPWqV7rlgyOYz/iYF0XBQXtsji2hC6mlwRA09TyX4rb HMoB1173TJYVoqMk3I3OruBEDiexPhHPxOjbX5VI3KNDUO+lHHEGgI1+rfKkjbakrDH5lmpM NdmsZFZeEYdWIK6PoStzPIceod/A== X-Talos-CUID: 9a23:F6l+oG6gjB+MxlWCH9ss/WQzN4MVNWDm0VSAcxSWUH53aL6oYArF X-Talos-MUID: 9a23:Msiz0waWe9T2VeBTiTrvlS56E9dRw7XzFllVqJE9mPHdDHkl X-IronPort-AV: E=Sophos;i="6.24,199,1774306800"; d="scan'208,217";a="281053921" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDEwK0RP1rUWyHIIVgbW5YSqLP3w6c222NmR1W?= =?us-ascii?q?HX+hFaFGIH5jf+L7k16yJWBuB/FORENuTdojxjALJo7S7151GnjBmIOK?= =?us-ascii?q?So4GzdapNHNXW3mbdIYfZdDArL1F3lr4RrNj9/odubZDIVbYqenRimhA?= =?us-ascii?q?Kta6tCt9WegkFgyO+IwJ61qQ=3D=3D?= Received: from zcs2-store1.inria.fr ([128.93.142.3]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Jun 2026 15:42:46 +0200 Date: Thu, 11 Jun 2026 15:42:45 +0200 (CEST) From: Florian Angeletti To: caml-list Message-ID: <163774945.25074477.1781185365898.JavaMail.zimbra@inria.fr> In-Reply-To: <953189526.20811208.1776696423958.JavaMail.zimbra@inria.fr> References: <1841909574.24766691.1774531310963.JavaMail.zimbra@inria.fr> <953189526.20811208.1776696423958.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_4369de0d-71a4-4491-9cf3-87ebf5acb451" X-Originating-IP: [128.93.64.106] X-Mailer: Zimbra 10.1.16_GA_4850 (ZimbraWebClient - FF151 (Linux)/10.1.16_GA_4863) Thread-Topic: First release candidate for OCaml 5.5.0 Thread-Index: RDl8ah2XrJ9Jd39ABrqtmhYiAoYi0DfajG7924b07WU= Subject: [Caml-list] First release candidate for OCaml 5.5.0 Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 19530 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: Archived-At: --=_4369de0d-71a4-4491-9cf3-87ebf5acb451 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear OCaml users,=20 The release of OCaml 5.5.0 is imminent.=20 As a final step, we are publishing a release candidate to check that everyt= hing=20 is in order before the release in the upcoming week.=20 If you find any bugs, please report them on the OCaml's issue=20 tracker (https://github.com/ocaml/ocaml/issues).=20 Compared to the first beta, this release candidate contains two runtime fix= es,=20 two standard library fixes, six miscellaneous fixes and one documentation= =20 update.=20 The full change log for OCaml 5.5.0 is available on=20 GitHub(https://github.com/ocaml/ocaml/blob/5.5/Changes).=20 Happy hacking,=20 Florian Angeletti for the OCaml team.=20 Installation instructions=20 --------------------------------=20 The base compiler can be installed as an opam switch with the following com= mands on opam 2.1 and later:=20 opam update=20 opam switch create 5.5.0~rc1=20 The source code for the release candidate is also directly available on:=20 * GitHub: https://github.com/ocaml/ocaml/archive/5.5.0-rc1.tar.gz=20 * OCaml archives at Inria: https://caml.inria.fr/pub/distrib/ocaml-5.5/ocam= l-5.5.0~rc1.tar.gz=20 Fine-tuned compiler configuration=20 ---------------------------------------------=20 If you want to tweak the configuration of the compiler, you can switch to t= he option variant with:=20 opam update=20 opam switch create ocaml-variants.5.5.0~rc1+options =20 where `` is a space-separated list of `ocaml-option-*` package= s. For instance, for a `flambda` and `no-flat-float-array` switch:=20 opam switch create 5.5.0~rc1+flambda+nffa ocaml-variants.5.5.0~rc1+options = ocaml-option-flambda ocaml-option-no-flat-float-array=20 All available options can be listed with `opam search ocaml-option`.=20 -------------------------------------=20 ## Changes since the first beta release=20 ### Runtime fixes=20 - #14820(https://github.com/ocaml/ocaml/issues/14820): caml_ba_alloc must a= ccount for memory it allocated itself.=20 CAML_BA_SUBARRAY (introduced in 5.2) with data=3DNULL would result in the= =20 Gc accounting for the allocation as 0 bytes, which can eventually lead=20 to OOM. This condition never occurs in the compiler itself, but occurs=20 in external C bindings that attempt to create a new bigarray in the=20 shape of an existing one. For backwards compatibility ignore CAML_BA_SUBARR= AY=20 when data is NULL.=20 (Edwin T=F6r=F6k, review by Damien Doligez)=20 - ..., +#14722(https://github.com/ocaml/ocaml/issues/14722): runtime, fix i= n the orphaning of ephemerons=20 (Gabriel Scherer, review by Olivier Nicole and Damien Doligez,=20 report by Jan Midtgaard)=20 ### Standard library fix=20 - #14853(https://github.com/ocaml/ocaml/issues/14853): fix quoting of filen= ames passed to Filename.quote_command on Windows.=20 (David Allsopp, report by Andrew Nesbitt, review by Florian Angeletti)=20 - ..., +#14715(https://github.com/ocaml/ocaml/issues/14715): Use POSIX thre= ad-safe getgrnam_r, getgrgid_r,=20 getpwnam_r, getpwuid_r, gmtime_r, localtime_r, getlogin_r, and fix mktime= =20 error checking.=20 (Antonin D=E9cimo, review by Florian Angeletti, David Allsopp, Stefan Muenz= el,=20 Gabriel Scherer, and Miod Vallat)=20 ### Compiler user-interface fix=20 - [#14702](https://github.com/ocaml/ocaml/issues/14702): Fix hidden directo= ry files leaking into the visible load path table.=20 When a hidden directory contained a file whose basename was already present= ,=20 the file could be incorrectly added to the visible table.=20 (Hugo Heuzard, review by Florian Angeletti)=20 ### Compilerlibs fix=20 - #14797(https://github.com/ocaml/ocaml/issues/14797): avoid dropping attri= butes attached to package types when pretty=20 printing in surface syntax.=20 (Chet Murthy, review by Nicol=E1s Ojeda B=E4r)=20 ### Configuration fixes=20 - #14484(https://github.com/ocaml/ocaml/issues/14484): Set `_WIN32_WINNT` t= o require Windows 8/Server 2012 Windows header SDK=20 support.=20 (Antonin D=E9cimo, review by David Allsopp)=20 - #14760(https://github.com/ocaml/ocaml/issues/14760), #14802(https://githu= b.com/ocaml/ocaml/issues/14802), #14846]https://github.com/ocaml/ocaml/issu= es/14846): Correct the detection of argument defaults in=20 configure, fixing an incorrect error message when installing OCaml through= =20 opam on OpenSUSE with the site-config package installed.=20 (David Allsopp, report and review by Edwin T=F6r=F6k)=20 ### Documentation fix=20 - #14684(https://github.com/ocaml/ocaml/issues/14684), #14782(https://githu= b.com/ocaml/ocaml/issues/14782), #14838(https://github.com/ocaml/ocaml/issu= es/14838): Improve ocamlc's and ocamlopt's manual pages and fix=20 small issues in the manual=20 (Samuel Hym, review by Florian Angeletti, Antonin D=E9cimo, Gabriel Scherer= and=20 Nicol=E1s Ojeda B=E4r)=20 ### Internal fix=20 - ..., +#14550(https://github.com/ocaml/ocaml/issues/14550): Add the not-ro= ot builtin ocamltest action. This=20 allows to skip tests that fail if the current user is root (superuser).=20 (Kate Deplaix, review by Gabriel Scherer, Nicol=E1s Ojeda B=E4r, and=20 Antonin D=E9cimo)=20 --=_4369de0d-71a4-4491-9cf3-87ebf5acb451 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Dear OCaml users,

The release of OCa= ml 5.5.0 is imminent.

As a final step, we are publishing a release c= andidate to check that everything
is in order before the release in the = upcoming week.

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

Compare= d to the first beta, this release candidate contains two runtime fixes,
= two standard library fixes, six miscellaneous fixes and one documentationupdate.

The full change log for OCaml 5.5.0 is available on
Git= Hub(https://github.com/ocaml/ocaml/blob/5.5/Changes).

Happy hacking,=
Florian Angeletti for the OCaml team.

Installation instructions<= br>--------------------------------

The base compiler can be install= ed as an opam switch with the following commands on opam 2.1 and later:
=
    opam update
    opam switch create 5.5.0~rc1=

The source code for the release candidate is also directly availabl= e on:

* GitHub: https://github.com/ocaml/ocaml/archive/5.5.0-rc1.tar= .gz
* OCaml archives at Inria: https://caml.inria.fr/pub/distrib/ocaml-5= .5/ocaml-5.5.0~rc1.tar.gz

Fine-tuned compiler configuration
-----= ----------------------------------------

If you want to tweak the co= nfiguration of the compiler, you can switch to the option variant with:
=
    opam update
    opam switch create <switc= h_name> ocaml-variants.5.5.0~rc1+options <option_list>

wher= e `<option_list>` is a space-separated list of `ocaml-option-*` packa= ges. For instance, for a `flambda` and `no-flat-float-array` switch:
     opam switch create 5.5.0~rc1+flambda+nffa ocaml-varian= ts.5.5.0~rc1+options ocaml-option-flambda ocaml-option-no-flat-float-array<= br>

All available options can be listed with `opam search ocaml-opti= on`.

-------------------------------------

## Changes since t= he first beta release

### Runtime fixes

- #14820(https://gith= ub.com/ocaml/ocaml/issues/14820): caml_ba_alloc must account for memory it = allocated itself.
  CAML_BA_SUBARRAY (introduced in 5.2) with data= =3DNULL would result in the
  Gc accounting for the allocation as 0= bytes, which can eventually lead
  to OOM. This condition never oc= curs in the compiler itself, but occurs
  in external C bindings th= at attempt to create a new bigarray in the
  shape of an existing o= ne. For backwards compatibility ignore CAML_BA_SUBARRAY
  when data= is NULL.
  (Edwin T=F6r=F6k, review by Damien Doligez)

- ..= ., +#14722(https://github.com/ocaml/ocaml/issues/14722): runtime, fix in th= e orphaning of ephemerons
  (Gabriel Scherer, review by Olivier Nic= ole and Damien Doligez,
   report by Jan Midtgaard)

###= Standard library fix

- #14853(https://github.com/ocaml/ocaml/issues= /14853): fix quoting of filenames passed to Filename.quote_command on Windo= ws.
  (David Allsopp, report by Andrew Nesbitt, review by Florian A= ngeletti)

- ..., +#14715(https://github.com/ocaml/ocaml/issues/14715= ): Use POSIX thread-safe getgrnam_r, getgrgid_r,
  getpwnam_r, getp= wuid_r, gmtime_r, localtime_r, getlogin_r, and fix mktime
  error c= hecking.
  (Antonin D=E9cimo, review by Florian Angeletti, David Al= lsopp, Stefan Muenzel,
   Gabriel Scherer, and Miod Vallat)
### Compiler user-interface fix

- [#14702](https://github.com/o= caml/ocaml/issues/14702): Fix hidden directory files leaking into the visib= le load path table.
  When a hidden directory contained a file whos= e basename was already present,
  the file could be incorrectly add= ed to the visible table.
  (Hugo Heuzard, review by Florian Angelet= ti)

### Compilerlibs fix

- #14797(https://github.com/ocaml/oc= aml/issues/14797): avoid dropping attributes attached to package types when= pretty
  printing in surface syntax.
  (Chet Murthy, revie= w by Nicol=E1s Ojeda B=E4r)

### Configuration fixes

- #14484(= https://github.com/ocaml/ocaml/issues/14484): Set `_WIN32_WINNT` to require= Windows 8/Server 2012 Windows header SDK
  support.
  (Ant= onin D=E9cimo, review by David Allsopp)

- #14760(https://github.com/= ocaml/ocaml/issues/14760), #14802(https://github.com/ocaml/ocaml/issues/148= 02), #14846]https://github.com/ocaml/ocaml/issues/14846): Correct the detec= tion of argument defaults in
  configure, fixing an incorrect error= message when installing OCaml through
  opam on OpenSUSE with the = site-config package installed.
  (David Allsopp, report and review = by Edwin T=F6r=F6k)

### Documentation fix

- #14684(https://gi= thub.com/ocaml/ocaml/issues/14684), #14782(https://github.com/ocaml/ocaml/i= ssues/14782), #14838(https://github.com/ocaml/ocaml/issues/14838): Improve = ocamlc's and ocamlopt's manual pages and fix
  small issues in the = manual
  (Samuel Hym, review by Florian Angeletti, Antonin D=E9cimo= , Gabriel Scherer and
  Nicol=E1s Ojeda B=E4r)

### Internal = fix

- ..., +#14550(https://github.com/ocaml/ocaml/issues/14550): Add= the not-root builtin ocamltest action. This
  allows to skip tests= that fail if the current user is root (superuser).
  (Kate Deplaix= , review by Gabriel Scherer, Nicol=E1s Ojeda B=E4r, and
   Ant= onin D=E9cimo)


--=_4369de0d-71a4-4491-9cf3-87ebf5acb451--