From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 7B2DE5D5 for ; Wed, 15 Jun 2022 08:28:22 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:references:from: in-reply-to:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=o553Q1qK3hNZOXpjEix1RBgDotpMbiMGlNn5JlJGntM=; b=ENVF9+dDkpqS6fFUwwmjZR+BX6mb9gL+CmIxj/ShlEx0+25LNHq+51wg uSqNWhGciw+0wdYu9/mTFtM39tQ3Td2OwebdizaiIesqwdc4I7iZ1zkS3 QjMsU+ENv+wLEt1RYjXyw28Pz9b/bgHqBj0+8a7HsioOIrXM5Iw22wZ8f k=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; 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:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=pass (signature verified) header.i=@baturin.org X-IronPort-AV: E=Sophos;i="5.91,300,1647298800"; d="scan'208,217";a="41106466" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jun 2022 10:28:20 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 657ECE013D; Wed, 15 Jun 2022 10:28:20 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B3AB7E0152 for ; Wed, 15 Jun 2022 10:28:14 +0200 (CEST) IronPort-SDR: U2ufWLqBkkKyPYNClmQftNH2/L0dTgDsm/qXXfQsn9TZHDTO2I/fTPa1nSRz3rfviBD7hbUsdt y2NVCHMbrFn4pvsJh9rsAYFTjAczZb3LH/tOMJ5pydZEVpng+FqByky7AWzr/XUuqPumZzVj3+ +XctyG08PbutkVtfBN5DczVW1vMR1aKD5bfRblI0gARyUCahRbMjhgsbyDBfkChq+Uwd8/CTre p82u99A4asL3u+Os8+B+nzDzGl4LAWtcz4FMoeD7DG/BpPPUQ/I/tGWMGwVPucu8uEy+Kl5z8A WS636ggLu7CWzxP+tErsPf2u X-IPAS-Result: =?us-ascii?q?A0BkBQCUl6li/6bK/S5aFggBAQsSDIQzgQFWKwMHCESET?= =?us-ascii?q?okAiAwDhCGNeIpmgWgLAQMBDTcIAQIEAQGFAgIIhUEfBgEENBMBAgQBAQEBA?= =?us-ascii?q?wIDAQEBAQEBAwEBBQEBAQIBAQIEBAGBCC1kaIFLBIF0CzQNgjUig2wBAgMjH?= =?us-ascii?q?QEBOA8LGCoCAlcTCAEBgnkBgxgHC61BgTGBAYIIAQEGgT8BhEmBXAmBPYdGA?= =?us-ascii?q?YcsQz+BToE8DIJHMD6CYgKBJoQQgmWYbQclBA8DGi00EoEhcQEIBgMDBwoFM?= =?us-ascii?q?gYCDBgUBAITElMdAhIFBwocDhQcJBkMDwMSAxEBBwILEggVLAgDAgMIAwIDL?= =?us-ascii?q?gIDFwkHCgMdCAocEhAUAgQTHgsIAxkfLAkCBA4DQwgLCgMRBAMTGAsWCBAEB?= =?us-ascii?q?gMJLw0oCwMUDQEGAwYCBQUBAyADFAMFGwwHAyEHCyYNDQQcBx0DAwUmAwICG?= =?us-ascii?q?wcCAgMCBhcGAgJvCiYNCAQIBBwdJBAFAgcxBQQvAh4EBQYRCQIWAgYEBQIEB?= =?us-ascii?q?BYCAhIIAggnGwcWGR0ZAQVdBgsJIRwKHwsGBQYWAyNzBQo+Dyk1NjwvIRsKg?= =?us-ascii?q?SAGIgEdmWIcTH8RByQiag8yBGwNBCmSGTKPGlyePoNYgUSJWpRfBhMtgUOCM?= =?us-ascii?q?oFQinGGMYsChneWbIJLiCCCQpoGgXglgVkzGggoCDuCaAlFAQIBAg0BAgIDA?= =?us-ascii?q?QIBAgkBAQKOHYNygT6DVoVNPjQCAQE3AgYBCgEBAwmFRQGJNwEB?= IronPort-PHdr: A9a23:UuEaKxReqQBuVPBun9G2i26MjNpsoleUAWYlg6HPa5pwe6iut67vI FbYra00ygOTBsOCsasP07OempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQtFiCCgbb9sM Rm6ohndutQLioZ+N6g9zQfErGFVcOpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q 6BWAzQgKGA1+dbktQLfQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8 qxmTgLjhiUaOD4j6GzYls9+gqxUrx2vuhJx3YDUboGXO/dlZKzRYckXSHBdUstfVSFMBJ63Y YsVD+oGOOZVt4fzqEEIrRu/BAmsAP7kxyJSiX/qwK06yeUhEQfb1wEnAt0BqnLUrNT0NKcWS u2617PHzSneb/NM2Df97pLEchc7ofGDRL99d9faxkYzGQ3flFqQtZDlMC2P1uQLq2WW7OttW f6zh2M5pA98oDeiyMcyh4TIiIwbyk3J+CR2zos7O9C1S0F1bcKgHZZSqy2UOIR7T98sTm9nu Cg21LkLtJimdyYEz5QnwgTQa/2Bc4WQ7RLjVfqRITdlhH1+Yr6wmxGy8U24xu39UMm0yldKo TBfntnCrHAA0QHY5MufSvZl8Uqs2CyD2x7T5+xKO0w4i7bXJ4A7zrItl5cesFzPEyv2lUnsk aOaal8o9va05+j9fLnquJ+ROolpgQ/kKKsugNawAeEgPwgOQWeb/eO82aX48kLjXLVKk+c2k qjfsJzAIsQbvKG5DxdU0oYl9Rm/Ey+r3dsZkHUdMl5IeByKg5L3N13SPvz0F+qzjlWtnTtzw vDJJLzhApHDLnjZl7fheK5w5FNGxwo1zNBf5pZUB6oaL/3pRk/xqcbYDh4/MwCuxObnEtp92 psYWW2UGqCZKr/dsUeU5uIzJOmBfJIZtC7nK/c5//7ukWM5mVgFcKa1x5QXbXS4Eu1iI0WYe nrsnswMEXwKvwo7VOzlkkeOUT9VZ3aoXqIz/Cs3CIy8DdSLeof4i7WE2GK/H4ZKTmFAEFGFV 3nyJKueXPJZRCuUI85l2hYNSaW7SolpgR2nsg77z5JtJ/bJ4Cwe85X5244mtKXoiRgu+GksX Iym2GaXQjQs9otpbzo/3aQl5Fd41k/Gy69zxfpRCd1U4fpNFAY8L5/VieJgWJjpQgyUWNCPR R69R8m+RykrR4c9ytkPYkJVEdy+kwrC2WytGbBG36eTCskM+7nHl2P0O947zn/H0Kc7iFxzT sJJNGyirqR26xXJBoiPlF+WxO6xbapJ5CfW7y+YyHaW+kFVVAklSaLeQXUWfVfbt/zz71/fV b6oT7M9PWOt0OakLa1HIp3shFRCHrL4PcjGJni2kCG2DAqJwbWFaMzrfX8c1WPTEhpMlQdb5 nuAOQUkY0Xp62vDEDxjE07uaELw4KF/rn28VEo90wCNaQVoybO0/hcfgfHURekU2/oIvyIoq jM8G1jYvZqeB9OGpgtlVK9Vfc4n4VEB0njW9kR8MpGmM6F+lwsGaQ0k90jq1hhxFsBBiZ128 jVwkVE0c/rClgofKWD9v9i4ILDcJ2js8Qr6bqfX3guby9OK4uIV7/9+rVz/vQavH05k8nN90 tAT3WHPg/eCRAcUT5/1VV46shZgoLSPKCU04YLV0VVmOLWpqD7EndUzC6F2r3ToN8caK66CG ALoRocWDs6vKegCkVG1cwgFOqZV7qF+bIu2MvCB3qCsJuNpmjmr2H9G7I5K2UWJ7yNgS+TM0 v7p2tmg1xCcH3f5hVal6IXsnJxcICsVFSy5wDTlA4hYYutze5wKACGgOZ//ytJ7jp/rE3lWk TzrT18P3s6ofTKYZkDgxwxWk0MNrjSrlDC5wDp9jzwy5vbBmnaTmKK4LEBBYzAVDGB5xU/hO 421k8wXUC3KJ0AymR2p6Fy7j6lXqaJjLnXCFEJBfiz4NWZnAeO7sruPZdIK6Yt97XsRCrnnJ wrCEPik/UVJtkGrV3FTzz06aTyw75DwnhggzXmYMG42tn3SP8d52RbY4tXYA/9XxDsPAidi2 ly1ThCxOcek+dKMmtLNqOe7AiitX5tScC3Dx4qcqTG64yttGxL1zJXR0pX3VBM31yP2zYwgW SzOrRf4SoPiy7mgMOQheVNnTgy0+49xHYdwlZE1jZcb1C0Bh5mbynEAlH/6LdRR3a+tCRhFD S5O2dPe5xLpnVFyNn/cjZysTW2Tm4EyL8n/eG4d3TgxqtxHGLvBpqIRhjN7+xKx5QfBKb10m jNXoRc3wEYTmPpB+A8kzyHHR6sXAVEdJyvn0RKB89G5qqxTImepa7m5kkRkz5itC7SLowcUX 3icGN9qBShr8sB2K07BylX54535YtjWK9UJuVWYngzBgO5cNJ8q3qZUw3A6YiSn5SdjkrBlx RV1lYm3po2GN3lg8MfbSlZDOzv5atlSsjDhgKBCn9qHioCiGpIyUj4PXZbuUbepCGdO67K9a l3ISmVm7C7FR+m6f0fX8kptonPRHor+MniWICNc1tB+XFyHI0cZhgkIXTI8l5p/FwawxcWnf l0qg1JZrlP+tBZIzfplchflVWKK7guhbDY1TLCVJQZL9ABEoUDPPobNi4A7VzEd5ZCnoAGXf yaDYB9UCGgSRkGeL1rqIqS05N+G9PKXTLnbTbOGcfCFrupQUO2NzJSk3959/jqCAc6IO2FrE /wx3kcQFWA8AcnSnC8DDjAGjy+YJdDOvw+yo2cky6L3uOSuQg/k4pGDTqdfIck6sQ7jmr+Nb qaZzCNpYXNR0pdGrZcp4LIWwEMIiicocCOiQ+1oXcHlRqvMh7VWCVgccSwhbaOgCoo21xVQI 8/dzNTv2ewg5sM= IronPort-Data: A9a23:PyAF8aJt5cUfibnUFE+RgJMlxSXFcZb7ZxGr2PjKsXjdYENS1GECz TYcXT3QaPrYMDT8Ktt2O4i29E0A65aDzN41T1Ad+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M68wIFqtQw24LhXVrR4 YiaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhk+Eu5 4RPt6OKcigTeYSdstlHaAN7DHQrVUFG0OevzXmXu8WP0lfHdT3r2foG4EMeYdNeoLssRzsWr 7pBdm5lghOr34paxJq3Q+9th8ALJsD3IZkevDdn1z6x4fMOHcmaG/uRvIMwMDEYgplLXv2CS /cjeyNhTEvPczBiHVIuF8dr9AuvriKlK20GwL6PnoI86m3XiQhwy6TFK8vQYtXMRMNPn0/eq HiuwojiKgoAKpqVwCaY6HOqwOjVkksXRb7+CpW0x6FF0V+R+VYoJydRfAqRnKOCkG2hDoc3x 1MvxgIiqq079UqOR9b7XgGlrHPsgvL6c4ANewHdwFvTopc48zp1FUBZH2UbN4BOWNseHGxyi ALT9z/8LWEHjVGDdZ6K3oy5xd9YERMJKmQBZSgASGPpCPG6+dx73kKnojpLK7Kyhd71HjX1i xuNsS4ilt0uYSMjzL+lu1rOny+2p56PSRQ6juk2Yo5HxlknDGJGT9bwgbQ+0RqnBN/DJmRtR FBex6CjABkmVPlgVEWlGY3h5o2B6fefKyH7ilVyBZQn/DnF0yf9IN0Ku2gifx8za5lsldrVj Kn74lk5CHh7ZyLCUEOLS9vZ5zkClPC8RIqNug78NIQmjmdNmP+vp3s2NRD4M5HFmUQpkKc4I 9+SctqtAHwdDa1opAdatM9GuYLGB0kWmwvueHwM5072j+TPOiHNGOdt3ZnnRrlR0Z5oaT79q 753X/ZmAT0GDoUSuwHbrtweK04kN38+CcykosBbbLfacABvBHw7CvmXxqkuItQ3k6NQn+bO3 3e8Rk4Bkgak3iCYdVTVZyAxcq7rULZ+sWk/YX4mM2Gu1iVxeo2o9qoeK8Y6cOB/puxuxPJ5V dcffMCEDqgdQzjL4W1EP5P0sJF4dRLtghiBZnL3bD86dp9mZgrI5t69JFe0r3RRUnvouJJn8 bO61w7dTZ4SfChYDZ7bOKC10le8nXkBg+YuDUHGFd9eJRf3+49wJi2t0/I6Lp1eKRjHwTfGh Q+aDQ1B/LvHqpMo6tjPw6eeoN7xQed5G0NbGUjd7Kq3bHOGpTH+ntMRD+vYLyrAUG7U+bm5Y bkHxf/LNvBazk1BtJBxEuo2wK9itcHjoaRWklZtEHnRNgn5Eal+ZHOPwdRVt6sLwaVW4FPkV kWK89hcGLOIJMK8SgJKf1d6MrXc2KFGgCTW4NQ0PF7+un198o2HZkMObROCvypQceluO4Q/z OZ948Mb5mRTUPbx3gpqU8yVy4iNEpDEe68uqowAAYmtjRAkor2HSYKJETf4ufljdP0VWnTG4 BfN7EYBu1iY7kDLb2cpFH6L2vBS7XjLkA4f10cMfjxlhfKc7sLaH3RtHfAfRA1J0w9G1aR0I GcD24iZ40mR128AufWvlFxA1+2M6NN1N6AxJ5Y0eLXlcnSV IronPort-HdrOrdr: A9a23:v2uOkKsS1BQAb/Ei6uT+igCA7skDe9V00zEX/kB9WHVpm7+j5q OTdZUguCMc7Qx6ZJhOo7+90cW7MBfhHNtOkO4s1NSZMjUO2lHFEGgK1+KLqAEIWReOk9K1vp 0BT0ERMqyTMbE3t6fH3DU= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,300,1647298800"; d="scan'208,217";a="41106314" X-MGA-submission: =?us-ascii?q?MDHCkwPfnmrhfr02B0JralOtH/Rsmgfrelco06?= =?us-ascii?q?zJhCNd5y0TZSOni/PCu3qJHyEr95qahIiZ0Gc6UJSD6LKmZzLsVRAc13?= =?us-ascii?q?mH5dfNAL7nJ0SlTUNtIwrh25A4zfMoS0KOuzeqjmRv2PCNfu+kdNZnCt?= =?us-ascii?q?r/AzhtOVwvJMYvunFJBTg+9A=3D=3D?= Received: from srv.baturin.org (HELO baturin.org) ([46.253.202.166]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Jun 2022 10:28:01 +0200 Received: from [192.168.1.43] (unknown [95.10.20.225]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by baturin.org (Postfix) with ESMTPSA id 79C481A0277 for ; Wed, 15 Jun 2022 15:28:00 +0700 (+07) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=baturin.org; s=default; t=1655281680; bh=o553Q1qK3hNZOXpjEix1RBgDotpMbiMGlNn5JlJGntM=; h=Date:Subject:To:References:From:In-Reply-To; b=CzpfH6I0XLHLjrt0CxoRr7uguPut6W910mDQve2XcirAjcNlZasilSDYXoWyn+Ix5 eptG1Z98LRkkUlHztp6yp1ioODBWwEMZrzmSaC1ooxPM7z7dihpLcXLcnZk246r6ZJ 7KEZ2+huYwiza3LjqBwsEIOT33fMiontiaBSxOUI= Content-Type: multipart/alternative; boundary="------------0TKhtU6m5reodT90DGfIYR0D" Message-ID: Date: Wed, 15 Jun 2022 11:27:52 +0300 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.10.0 Content-Language: en-US To: caml-list@inria.fr References: <1886863657.25388002.1655281359972.JavaMail.zimbra@inria.fr> From: Daniil Baturin In-Reply-To: <1886863657.25388002.1655281359972.JavaMail.zimbra@inria.fr> Subject: Re: [Caml-list] OCaml 5.0, zeroth alpha release Reply-To: Daniil Baturin X-Loop: caml-list@inria.fr X-Sequence: 18797 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: This is a multi-part message in MIME format. --------------0TKhtU6m5reodT90DGfIYR0D Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear Florian, This is exciting and I definitely will test all my projects with the alpha! >Notably, the native compiler will only be available on the ARM64 and x86-64 architectures in this 5.0 release. Is there a plan to re-introduce support for other architectures in later releases, or will they dropped completely from the official scope? On 6/15/22 11:22, Florian Angeletti wrote: > Dear OCaml users, > > Five months after the initial merge of the multicore branch into the > mainline > OCaml and three months after the release of OCaml 4.14.0, OCaml 5.0.0 is > starting to take shape. > > I am thus happy to announce an exceptional zeroth alpha release of > OCaml 5.0.0 (see below for the installation instructions). > > This alpha release is expected to be rougher than an usual alpha release, > due to the full rewrite of the OCaml runtime. In particular, the bytecode > debugger will only be available in the next alpha release. Similarly, > there > will be some changes to the internal C runtime API and to the files > installed > by the compiler package in the next alpha release. > > Moreover, this zeroth alpha release is the occasion to remind everyone > that > OCaml 5.0 itself is expected to be a more experimental release than usual. > Notably, the native compiler will only be available on the ARM64 and > x86-64 architectures in this 5.0 release. > > Nevertheless, this zeroth alpha version is already stable enough for > fellow > hackers eager to join us in our early bug hunting and opam ecosystem > fixing fun, > or to venture in the new era of parallelism and (experimental) effects. > > You can follow the progresses in stabilising the opam ecosystem on > > https://github.com/ocaml/opam-repository/issues/21526 > > A brief summary is that at least dune, merlin, ppxlib, utop, ocamlfind, > and ocamlbuild work (potentially by using patches from the > alpha opam repository). > > If you find any bugs, please report them here: > > https://github.com/ocaml/ocaml/issues > > In particular, any sequential OCaml 4 library or program should be > valid in > OCaml 5 (except for deprecated modules and functions). Please don't > hesitate > to report any forward-compatibility bugs! > > If you are interested by the ongoing list of bug fixes, the > updated change log for OCaml 5.0.0 is available at: > > https://github.com/ocaml/ocaml/blob/5.0/Changes > > Happy hacking, > Florian Angeletti for the OCaml team. > > Installation instructions > ------------------------- > The base compiler can be installed as an opam switch with the > following commands > on opam 2.1: > > opam update > opam switch create 5.0.0~alpha0 > > For previous version of opam, the switch creation command line is > slightly more verbose: > > opam update > opam switch create 5.0.0~alpha0 > --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git > > If you want to tweak the configuration of the compiler, you can switch > to the option variant with: > > opam update > opam switch create ocaml-variants.5.0.0~alpha0+options > > > where is a comma separated list of ocaml-option-* > packages. For instance, for a flambda and no-flat-float-array switch: > > opam switch create 5.0.0~alpha0+flambda+nffa > ocaml-variants.5.0.0~alpha0+options ocaml-option-flambda > ocaml-option-no-flat-float-array > > The command line above is slightly more complicated for an opam > version anterior to opam 2.1: > > opam update > opam switch create > --packages=ocaml-variants.5.0.0~alpha0+options, > --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git > > In both cases, all available options can be listed with > "opam search ocaml-option". > > If you want to test this version, it is strongly advised to install > the alpha > opam repository > > https://github.com/kit-ty-kate/opam-alpha-repository > > with > > opam repo add alpha git://github.com/kit-ty-kate/opam-alpha-repository.git > > This alpha repository contains various fixes in the process of being > upstreamed. > > The source code for the alpha is also available at these addresses: > > https://github.com/ocaml/ocaml/archive/5.0.0-alpha0.tar.gz > https://caml.inria.fr/pub/distrib/ocaml-5.0/ocaml-5.0.0~alpha0.tar.gz > --------------0TKhtU6m5reodT90DGfIYR0D Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit

Dear Florian,

This is exciting and I definitely will test all my projects with the alpha!

>Notably, the native compiler will only be available on the ARM64 and
x86-64 architectures in this 5.0 release.

Is there a plan to re-introduce support for other architectures in later releases,
or will they dropped completely from the official scope?

On 6/15/22 11:22, Florian Angeletti wrote:
Dear OCaml users,

Five months after the initial merge of the multicore branch into the mainline
OCaml and three months after the release of OCaml 4.14.0, OCaml 5.0.0 is
starting to take shape.

I am thus happy to announce an exceptional zeroth alpha release of
OCaml 5.0.0 (see below for the installation instructions).

This alpha release is expected to be rougher than an usual alpha release,
due to the full rewrite of the OCaml runtime. In particular, the bytecode
debugger will only be available in the next alpha release. Similarly, there
will be some changes to the internal C runtime API and to the files installed
by the compiler package in the next alpha release.

Moreover, this zeroth alpha release is the occasion to remind everyone that
OCaml 5.0 itself is expected to be a more experimental release than usual.
Notably, the native compiler will only be available on the ARM64 and
x86-64 architectures in this 5.0 release.

Nevertheless, this zeroth alpha version is already stable enough for fellow
hackers eager to join us in our early bug hunting and opam ecosystem fixing fun,
or to venture in the new era of parallelism and (experimental) effects.

You can follow the progresses in stabilising the opam ecosystem on

  https://github.com/ocaml/opam-repository/issues/21526

A brief summary is that at least dune, merlin, ppxlib, utop, ocamlfind,
and ocamlbuild work (potentially by using patches from the
alpha opam repository).

If you find any bugs, please report them here:

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

In particular, any sequential OCaml 4 library or program should be valid in
OCaml 5 (except for deprecated modules and functions). Please don't hesitate
to report any forward-compatibility bugs!

If you are interested by the ongoing list of bug fixes, the
updated change log for OCaml 5.0.0 is available at:

  https://github.com/ocaml/ocaml/blob/5.0/Changes

Happy hacking,
Florian Angeletti for the OCaml team.

Installation instructions
-------------------------
The base compiler can be installed as an opam switch with the following commands
on opam 2.1:

opam update
opam switch create 5.0.0~alpha0

For previous version of opam, the switch creation command line is slightly more verbose:

opam update
opam switch create 5.0.0~alpha0 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git

If you want to tweak the configuration of the compiler, you can switch to the option variant with:

opam update
opam switch create <switch_name> ocaml-variants.5.0.0~alpha0+options <option_list>

where <option_list> is a comma separated list of ocaml-option-* packages. For instance, for a flambda and no-flat-float-array switch:

opam switch create 5.0.0~alpha0+flambda+nffa ocaml-variants.5.0.0~alpha0+options ocaml-option-flambda ocaml-option-no-flat-float-array

The command line above is slightly more complicated for an opam version anterior to opam 2.1:

opam update
opam switch create <switch_name> --packages=ocaml-variants.5.0.0~alpha0+options,<option_list> --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git

In both cases, all available options can be listed with
"opam search ocaml-option".

If you want to test this version, it is strongly advised to install the alpha
opam repository

https://github.com/kit-ty-kate/opam-alpha-repository

with

opam repo add alpha git://github.com/kit-ty-kate/opam-alpha-repository.git

This alpha repository contains various fixes in the process of being upstreamed.

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

 https://github.com/ocaml/ocaml/archive/5.0.0-alpha0.tar.gz
 https://caml.inria.fr/pub/distrib/ocaml-5.0/ocaml-5.0.0~alpha0.tar.gz

--------------0TKhtU6m5reodT90DGfIYR0D--