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=B4no33i6; 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 31E0640096 for ; Mon, 20 Apr 2026 14:47:13 +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=tDzdnV1qNZJCqfKmf1Si1IQR7mWEboaF0yMTZDdmaSM=; b=B4no33i6e4FHpXnJ8g9NNbWUqRlFZebGrdmPeM6DAo/fX4xW01elcItz tRLo+GLUs2bwOXmmxjObdvUovugMUklXeGdsZGMbvyFptz1GxGhaEzyWu 5lC+zqEa8Y3l14hddBItn8ZI+f5c33FngjUmprpZIxxPXsj8eZ58JpMyj I=; X-CSE-ConnectionGUID: 5121/eQMSgGQMKPcfjoDsQ== X-CSE-MsgGUID: K4zU7swaTvyI/HU0lZFMRQ== 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.23,190,1770591600"; d="scan'208,217";a="273308044" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Apr 2026 16:47:13 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 611FC82352; Mon, 20 Apr 2026 16:47:13 +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 1D2DA806AB for ; Mon, 20 Apr 2026 16:47:04 +0200 (CEST) X-CSE-ConnectionGUID: TFTJ46toQyalngGnP/GeNg== X-CSE-MsgGUID: YshckhlBRDClzBK1tOj2/A== X-ThreatScanner-Verdict: Negative IronPort-Data: A9a23:vlN0Rq4QdwSHbNeeu2IRTgxRtALGchMFZxGqfqrLsTDasY5as4F+v mUdWDiFbvzcN2unKNpzaIrl8h8B7JPczYRnG1RvqX0xEysa+MHIO4mlIxarNUt+DOWTFRM9t 512hvrodZ1vECeE/n9BFpC78BGQAInRHuKU5NbsY343HUk4Dn9413qPosZh6qZwm9+1HgiRj t37pszbKTeN1iV9Wo4uw/vrRChH4rKo41v0gnRkPaoV5AOEzyFMZH4iDfrZw0XQEtE88tGSH L6rIIGRpgvx4xorA9W5pbf3GmViaqLSJwWHlk1NUKGkhBVYzgRqukrsHKd0he9/0l1lrvgpo Dl/ncXYpTQBZ8UgrN8gvyxwTkmSC4UWoe6deSDXXfu7lCUqe1O0qxln4dpf0Ycwoo6bCkkXn RAUxaxkgrluSItazZriItSAiPjPI+HXEr895i98ygjIBPIgTr/Fe+Ll6PlXiWJYasBmRZ4yZ uILYiE1KQ/cZAdCYxEWDog/laGmnBETcRUB8gLT9PFxujSJilcZPLvFaLI5fvSEQcJPn0+e4 GvA8Gn9Dw0GNfSezyCE+zSinIcjmAuhB9lJTOLpqqQCbFu793cTAx4WUXGBjdK9mGSdAs54K RZT0397xUQ13AnxJjXnZDWzqXuA+xodQMZ4CPw/8AjLy6zO4g/fCHJsc9JaQM4tr5VzXiAtz FLQ2dLvHz1m9rOPIZ6AyoqpQfqJEXB9BQc/ieUsFGPpP/GLTEAPYhPzohJLAqWu1JjuBTbqz mnMrS4khrxVg9RjO2BXO7zYq2rEm3QLZlZdCsbrsqaN7wVjZYfjaZbABZ3z86NbNIjAJrWel CFspvVyJ9ziwX1AeOJhjQnN8HyUCy65DQDh IronPort-HdrOrdr: A9a23:eEDF6qgz8Fa6FVQCuFDWscfrvnBQXtsji2hC6mlwRA09TyX4rb HMoB1173TJYVoqMk3I3OruBEDiexPhHPxOjbX5VI3KNDUO+lHHEGgI1+rfKkjbakrDH5lmpM NdmsZFZeEYdWIK6PoStzPIceod/A== X-Talos-CUID: =?us-ascii?q?9a23=3AgZn57Gr2A4kgmuVr3+qsI0XmUfwLTl+BkmvXGl6?= =?us-ascii?q?xDWBmZ7utDnCd3qwxxg=3D=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AJ2ZI1w6ylx69XESvrTfYtbVMxoxZ+KSlC0AJu68?= =?us-ascii?q?qkM2WHw8pJxCf1nOeF9o=3D?= X-IronPort-AV: E=Sophos;i="6.23,190,1770591600"; d="scan'208,217";a="273307942" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDFBs6Qq27B4sAQMEHxDfnkqo1m8wS7UFgk23V?= =?us-ascii?q?OSjBo11hlRT3q6ULkyT6iEKr7+A5OoedzstzbTMvw1OMRGRQ9V8+5joS?= =?us-ascii?q?PfAgOhyNYwYpKAQZiEslz1Gzmse1URz7E7UOA49tqS6c8cfP1GhPopLA?= =?us-ascii?q?EWWBl/na//Z8myttpH4aHlcA=3D=3D?= Received: from zcs2-store1.inria.fr ([128.93.142.3]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Apr 2026 16:47:04 +0200 Date: Mon, 20 Apr 2026 16:47:03 +0200 (CEST) From: Florian Angeletti To: caml-list Message-ID: <953189526.20811208.1776696423958.JavaMail.zimbra@inria.fr> In-Reply-To: <1841909574.24766691.1774531310963.JavaMail.zimbra@inria.fr> References: <1841909574.24766691.1774531310963.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_83c9e55c-41e8-4342-aeb9-ccff0e36af38" X-Originating-IP: [128.93.64.106] X-Mailer: Zimbra 10.1.16_GA_4850 (ZimbraWebClient - FF149 (Linux)/10.1.16_GA_4863) Thread-Topic: First beta release of OCaml 5.5.0 Thread-Index: RDl8ah2XrJ9Jd39ABrqtmhYiAoYi0DfajG79 Subject: [Caml-list] First beta release of OCaml 5.5.0 Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 19491 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: --=_83c9e55c-41e8-4342-aeb9-ccff0e36af38 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear OCaml users,=20 With most developer tools available and the good stability of the=20 compiler, I am happy to announce the first beta release of OCaml=20 5.5.0.=20 Compared to the last alpha, this new version improves the manpage for=20 ocamlopt and fixes:=20 - two runtime bugs (for ephemerons and the bytecode interpreter)=20 - two type system bugs (for classes and module-dependent functions)=20 - three warning or error message bugs=20 (See the Changelog below for a full list).=20 Concerning the associated compiler tools, most of them are already=20 available (as least in a preview version), and there are patches in=20 progress for the missing ones. You can track the last remaining=20 update efforts on=20 https://github.com/ocaml/opam-repository/issues/29463=20 Thus, it should be safe to test your libraries and programs with the=20 new version OCaml 5.5.0 version in preparation of the final release.=20 If everything goes well, we might see a release in May.=20 If you find any bugs, please report them here:=20 https://github.com/ocaml/ocaml/issues=20 If you are interested by the full list of new features and bug fixes, the= =20 updated change log for OCaml 5.5.0 is available at:=20 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=20 on opam 2.1 and later:=20 opam update=20 opam switch create 5.5.0~beta1=20 The source code for the beta is also available at these addresses:=20 * GitHub: https://github.com/ocaml/ocaml/archive/5.5.0-beta1.tar.gz=20 * OCaml archives at Inria: https://caml.inria.fr/pub/distrib/ocaml-5.5/ocam= l-5.5.0~beta1.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~beta1+options =20 where `option_list` is a space separated list of `ocaml-option-*` packages.= For instance, for a flambda and no-flat-float-array switch:=20 opam switch create 5.5.0~beta1+flambda+nffa ocaml-variants.5.5.0~beta1+opti= ons ocaml-option-flambda ocaml-option-no-flat-float-array=20 All available options can be listed with `opam search ocaml-option`.=20 Changes compared to the last alpha=20 -----------------------------------------------=20 * Documentation Update=20 - #14684(https://github.com/ocaml/ocaml/issues/14684): Improve ocamlopt's m= anual page=20 (Samuel Hym, review by Florian Angeletti)=20 * Runtime Fixes=20 - #14644(https://github.com/ocaml/ocaml/issues/14644), #14647(https://githu= b.com/ocaml/ocaml/issues/14647): Fix a bug related to unhandled effects in = bytecode.=20 (Vincent Laviron, report by Thibaut Mattio,=20 review by Nicol=E1s Ojeda B=E4r, Stephen Dolan and Olivier Nicole)=20 - #14349(https://github.com/ocaml/ocaml/issues/14349), #14718(https://githu= b.com/ocaml/ocaml/issues/14718): runtime, fix in the orphaning of ephemeron= s=20 (Gabriel Scherer, review by Olivier Nicole and Damien Doligez,=20 report by Jan Midtgaard)=20 * Type System Fixes=20 - #14557(https://github.com/ocaml/ocaml/issues/14557), #12150(https://githu= b.com/ocaml/ocaml/issues/12150), #14696(https://github.com/ocaml/ocaml/issu= es/14696): ensure that the self type of class cannot escape=20 through type constraints.=20 (Leo White, review by Florian Angeletti)=20 - #14667(https://github.com/ocaml/ocaml/issues/14667): enable application r= elated warnings for module-dependent functions=20 (Florian Angeletti, review by Gabriel Scherer)=20 * Error Messages and Warning Fixes=20 - #14690(https://github.com/ocaml/ocaml/issues/14690): Fix `Name_type_misma= tch` error message when the expected type is an=20 alias: print the expanded path on the right-hand side of the equality, not= =20 the alias twice.=20 (Weixie Cui, review by Florian Angeletti)=20 - #14719(https://github.com/ocaml/ocaml/issues/14719), #14721(https://githu= b.com/ocaml/ocaml/issues/14721): compute arity correctly for module-depende= nt function=20 (Florian Angeletti, report by Jeremy Yallop, review by Stefan Muenzel)=20 - #14655(https://github.com/ocaml/ocaml/issues/14655), #14691(https://githu= b.com/ocaml/ocaml/issues/14691): check for size overflow in caml_ba_reshape= =20 (Stephen Dolan, review by Xavier Leroy)=20 --=_83c9e55c-41e8-4342-aeb9-ccff0e36af38 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Dear OCaml users,

With most develope= r tools available and the good stability of the
compiler, I am happy to = announce the first beta release of OCaml
5.5.0.

Compared to the l= ast alpha, this new version improves the manpage for
ocamlopt and fixes:=

- two runtime bugs (for ephemerons and the bytecode interpreter)- two type system bugs (for classes and module-dependent functions)
- t= hree warning or error message bugs

(See the Changelog below for a fu= ll list).

Concerning the associated compiler tools, most of them are= already
available (as least in a preview version), and there are patche= s in
progress for the missing ones. You can track the last remaining
= update efforts on

  https://github.com/ocaml/opam-repository/is= sues/29463

Thus, it should be safe to test your libraries and progra= ms with the
new version OCaml 5.5.0 version in preparation of the final = release.
If everything goes well, we might see a release in May.

= If you find any bugs, please report them here:

  https://github= .com/ocaml/ocaml/issues

If you are interested by the full list of ne= w features and bug fixes, the
updated change log for OCaml 5.5.0 is avai= lable at:

  https://github.com/ocaml/ocaml/blob/5.5/Changes
=
Happy hacking,
Florian Angeletti for the OCaml team.

Installa= tion Instructions
--------------------------

The base compiler ca= n be installed as an opam switch with the following commands
on opam 2.1= and later:

    opam update
    opam switch c= reate 5.5.0~beta1

The source code for the beta is also available at = these addresses:

* GitHub: https://github.com/ocaml/ocaml/archive/5.= 5.0-beta1.tar.gz
* OCaml archives at Inria: https://caml.inria.fr/pub/di= strib/ocaml-5.5/ocaml-5.5.0~beta1.tar.gz

Fine-Tuned Compiler Configu= ration
----------------------------------------------

If you want= to tweak the configuration of the compiler, you can switch to the option v= ariant with:


    opam update
    opam swi= tch create <switch_name> ocaml-variants.5.5.0~beta1+options <optio= n_list>


where `option_list` is a space separated list of `oca= ml-option-*` packages. For instance, for a flambda and no-flat-float-array = switch:


    opam switch create 5.5.0~beta1+flambda+nff= a ocaml-variants.5.5.0~beta1+options ocaml-option-flambda ocaml-option-no-f= lat-float-array


All available options can be listed with `opam s= earch ocaml-option`.


Changes compared to the last alpha
-----= ------------------------------------------

* Documentation Update
- #14684(https://github.com/ocaml/ocaml/issues/14684): Improve ocamlop= t's manual page
  (Samuel Hym, review by Florian Angeletti)

= * Runtime Fixes

- #14644(https://github.com/ocaml/ocaml/issues/14644= ), #14647(https://github.com/ocaml/ocaml/issues/14647): Fix a bug related t= o unhandled effects in bytecode.
  (Vincent Laviron, report by Thib= aut Mattio,
   review by Nicol=E1s Ojeda B=E4r, Stephen Dolan = and Olivier Nicole)

- #14349(https://github.com/ocaml/ocaml/issues/1= 4349), #14718(https://github.com/ocaml/ocaml/issues/14718): runtime, fix in= the orphaning of ephemerons
  (Gabriel Scherer, review by Olivier = Nicole and Damien Doligez,
   report by Jan Midtgaard)

= * Type System Fixes

- #14557(https://github.com/ocaml/ocaml/issues/1= 4557), #12150(https://github.com/ocaml/ocaml/issues/12150), #14696(https://= github.com/ocaml/ocaml/issues/14696): ensure that the self type of class ca= nnot escape
  through type constraints.
  (Leo White, revie= w by Florian Angeletti)

- #14667(https://github.com/ocaml/ocaml/issu= es/14667): enable application related warnings for module-dependent functio= ns
  (Florian Angeletti, review by Gabriel Scherer)

* Error = Messages and Warning Fixes

- #14690(https://github.com/ocaml/ocaml/i= ssues/14690): Fix `Name_type_mismatch` error message when the expected type= is an
  alias: print the expanded path on the right-hand side of t= he equality, not
  the alias twice.
  (Weixie Cui, review b= y Florian Angeletti)

- #14719(https://github.com/ocaml/ocaml/issues/= 14719), #14721(https://github.com/ocaml/ocaml/issues/14721): compute arity = correctly for module-dependent function
  (Florian Angeletti, repor= t by Jeremy Yallop, review by Stefan Muenzel)

- #14655(https://githu= b.com/ocaml/ocaml/issues/14655), #14691(https://github.com/ocaml/ocaml/issu= es/14691): check for size overflow in caml_ba_reshape
  (Stephen Do= lan, review by Xavier Leroy)
--=_83c9e55c-41e8-4342-aeb9-ccff0e36af38--