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 ESMTPS id 7BCB55D5 for ; Tue, 30 Jun 2020 07:00:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,296,1589234400"; d="asc'?scan'208,217";a="457345941" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Jun 2020 09:00:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5925AE0194; Tue, 30 Jun 2020 09:00:32 +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 BDBF3E0129 for ; Tue, 30 Jun 2020 09:00:27 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Pass smtp.pra=alan.schmitt@polytechnique.org; spf=Pass smtp.mailfrom=SRS0=ySyJ=AL=polytechnique.org=alan.schmitt@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org IronPort-PHdr: =?us-ascii?q?9a23=3Alu5tgR2u4K+V2vJismDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sesUKPnxwZ3uMQTl6Ol3ixeRBMOHsq8C0bKO+Pm4CSQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagYb5+Ngu6oRnNusUZnIduNqU8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waNzI382fXitJxjKJAoRKuvBh/zJDJa4CbM/p+ZL7SfcgHTmZFUMtdSylND4Wh?= =?us-ascii?q?ZIUNEuUBJ/5VoYnjqVUToxWwBgajC//0xz9NmnP7x7c33/g9HQzE2gErAtIAsG?= =?us-ascii?q?7TrNXwLKofTeS1w7POzT7ecv1ZxTf96I3JchA9vfGHQLV9ftDVyUY1EQPJlE6Q?= =?us-ascii?q?ppDlPzOQ1+QNr3Sb4vF4VeKoj24mqx1xrSazyccsjInJh5sVyk3a+iljx4Y1P9?= =?us-ascii?q?K4RVd9bNW5H5ReqzuUOJFqQsM+XW5ooiA6x6UYtZC1ciYG1IgqyhzBZvGZbYSF?= =?us-ascii?q?4g7uWfqMLDp7mX5oea6yihSv/EW8xOPyVtW53VZOoydFndTCtnEA2wDc58WDTP?= =?us-ascii?q?Z240mv2TGK1w/J6+FEJ1g5lbLFJJ49w74wioQcsVzEHi/znUX5krWadkM69ei0?= =?us-ascii?q?8+jnZanpqYWZN49wkA3+Nb4umsOnDeQ3MwgOQ2ib+fmn27H54UL5R7BKguU3kq?= =?us-ascii?q?nfqpDaJN4UqrS3Aw9Pyooj5Be/Dyum0NQFhnYLNkhJdw6Aj4jsI13OLur4Au26?= =?us-ascii?q?g1u2iTtk2+rKMaHmApXINnTDkarufLZ5605Y0gYzyspf551SB7ocI/zzQlf8uM?= =?us-ascii?q?HGAhI9KQC43vrrBdpn2o4QRW6DGKGUPazKvVOV6O8jPvOAaJEVtTvyMfQp+uLi?= =?us-ascii?q?gWUklVIfYaWk24YcZmqiEfR8OUqZZGLhgtcfHmcOuQozVOnqiVKfXTJJf3ayWK?= =?us-ascii?q?Y85zEnCI24EYjDRoatgL2Y3CemAJJafGdGCkqDEXvwdoWEXekDaD6KL8N8jDAJ?= =?us-ascii?q?UaKtR5I92RyhrgP3xaZrIvDa9yAXrZ7j0cJ65+zXlRE87zx0CMGd3nmQQW9og2?= =?us-ascii?q?0EWyc73aBir019zlmOybR1jfpAGNxL4PNJVgc7NYLCwONmC9DyXAPBfs6USFm4?= =?us-ascii?q?WNmmBisxTt0pztAUZ0ZyAdOiggrY3yW2A78Vkr2LBIAo8q/HxHfxINt9y3Da26?= =?us-ascii?q?Y/lFkqWM5POGKph6Jl8AjTHYHJn12Dl6m2baQcwDLN9GCbwGWSpk5YVQpwXbzB?= =?us-ascii?q?XXAefUvWsc/05ljCTr+rEbQoKBFNyc+EKqtQa93ml09KRPn5OIeWX2Xk0WOvA1?= =?us-ascii?q?zAkreTaqLuZGNb2ijBXgxM2QsM+zzOfVw1GSGJp2PFECcoFF7+Z0eq9vNx/jfz?= =?us-ascii?q?RUYxy0SOblZ9/7uz4B8cw/KGD7sY2bcckCMgsClvWlGn1dPKAt6OoBoncbgPT8?= =?us-ascii?q?k65QJu0Wvf/zd2PpmhM7wq0lcaegIxpEju0hRrFq1Ylsw7sH4hzAxzML+VllRb?= =?us-ascii?q?eGXLjtjLJrTLJzyqr1iUYKnM1wSFiI/LqJdK0+wxrhDYhC/sFkcm9C88gdxFij?= =?us-ascii?q?2E4ZHbEAcZUZTwS1s6sR9gqOODO3Vv18bvzXRpdJKMnHrawdtwVbk9zRKxY9pU?= =?us-ascii?q?MKWFDRL/VcoACJr3cb14qx2SdhsBedtq2usxNsKieeGB3ff0buxngTStgH8B5d?= =?us-ascii?q?xtlEWW+HglRw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BcAQCc4fpehyIeaIFgHAEBAQEBAQcBA?= =?us-ascii?q?RIBAQQEAQGCCoEjUkYBXVUyLIQxgV2HJIshhTqNUYQDgXMBAwEHBRgBCgkBAgQ?= =?us-ascii?q?BAYFTgT5xXoIUAh0GAQUzEwIQAQEFAQEBAgEDAwQBEwEBAQoLCQgphWIMgjcMG?= =?us-ascii?q?YMaASEKZSMDFAcDAgQNARcBFAoDARMBEhQGgwwBgnwFCpInmjYZNXaBMoQ6AQM?= =?us-ascii?q?DhGyBQA0CE4EWgVODYEaCaoNdJg+BTD+BEYJibIJFDAsBAQEBAYE6AQEGgzCCY?= =?us-ascii?q?ASOfy0dcooBgUqGBYFvkFwoB4JfgQcEC4Y5eopDhlKCc4EaiBOIA4pzIZExh0o?= =?us-ascii?q?HcoFXhXCKLYRHgUAqgXgzGjBDgmkJYA2NeoQUgT6DGzuFRD8zAgEBATICBgEHA?= =?us-ascii?q?QEDCXUBAQUTCwGPVQEB?= X-IPAS-Result: =?us-ascii?q?A0BcAQCc4fpehyIeaIFgHAEBAQEBAQcBARIBAQQEAQGCCoE?= =?us-ascii?q?jUkYBXVUyLIQxgV2HJIshhTqNUYQDgXMBAwEHBRgBCgkBAgQBAYFTgT5xXoIUA?= =?us-ascii?q?h0GAQUzEwIQAQEFAQEBAgEDAwQBEwEBAQoLCQgphWIMgjcMGYMaASEKZSMDFAc?= =?us-ascii?q?DAgQNARcBFAoDARMBEhQGgwwBgnwFCpInmjYZNXaBMoQ6AQMDhGyBQA0CE4EWg?= =?us-ascii?q?VODYEaCaoNdJg+BTD+BEYJibIJFDAsBAQEBAYE6AQEGgzCCYASOfy0dcooBgUq?= =?us-ascii?q?GBYFvkFwoB4JfgQcEC4Y5eopDhlKCc4EaiBOIA4pzIZExh0oHcoFXhXCKLYRHg?= =?us-ascii?q?UAqgXgzGjBDgmkJYA2NeoQUgT6DGzuFRD8zAgEBATICBgEHAQEDCXUBAQUTCwG?= =?us-ascii?q?PVQEB?= X-IronPort-AV: E=Sophos;i="5.75,296,1589234400"; d="asc'?scan'208,217";a="457345893" X-MGA-submission: =?us-ascii?q?MDHiEF6ON0VcrlyPWRSf8+6+Mqs1F/43CiZKLn?= =?us-ascii?q?HONyhWe913V7EKg1c3/hFn5eU7+PqTx4coX38R+6HV8ZzWAzK25PLlz9?= =?us-ascii?q?Hdk/zRZ2GXVOZ0GUkpRhj1qSVOg6spYJg09bpYUBtqAzmY54NZXtIY54?= =?us-ascii?q?xJGZABg8uQM1UJBMw2lg2zBg=3D=3D?= Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Jun 2020 09:00:26 +0200 Received: from set (set.irisa.fr [131.254.10.170]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id 1A3B5564EFF; Tue, 30 Jun 2020 09:00:23 +0200 (CEST) From: Alan Schmitt To: "lwn" , "cwn" , caml-list@inria.fr, comp@lists.orbitalfox.eu Date: Tue, 30 Jun 2020 09:00:21 +0200 Message-ID: <874kqtghru.fsf@m4x.org> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue Jun 30 09:00:23 2020 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000000, queueID=4C8C3564EFA X-Org-Mail: alan.schmitt.1995@polytechnique.org Subject: [Caml-list] Attn: Development Editor, Latest OCaml Weekly News Reply-To: Alan Schmitt X-Loop: caml-list@inria.fr X-Sequence: 18184 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: --=-=-= Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" --==-=-= Content-Type: text/plain --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEE6lXof/BsSVW56ZmGBA0KO07S5ccFAl764wUACgkQBA0KO07S 5cdTKAgAipMsMIXIv38P+cy2R4HR7HCUkKLyvQSY+JHZdcq3XToeMivgtXLDWMty R+UNYQUz6eus0aLxxTVupJ5YFQv3YCDq84WMojd2NNiKnNcg7BICXVOPUJBpxQ2B W5Ng2qotc2LgeNJRJsm986M6vnrw85AtnSfKZWDTESzgqsjZuk3vmc9IDGA3e2tC inyNyvA58GCt8m71gqdOjx5ToHMkJV2+eCYe+2IeLbJswqST5F6Lx1zbRfYGpqH2 lLpNcQqY9f5C5eRYzotPZYmdFyGfi9CKzcvKvtSrj76divXYsq+LnrcNPV+PEzMT /dAD76dxlcsamdL8VGDVQ5SS8CRp+g== =dMMv -----END PGP SIGNATURE----- --==-=-=-- --=-=-= Content-Type: multipart/alternative; boundary="===-=-=" --===-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 SGVsbG8NCg0KSGVyZSBpcyB0aGUgbGF0ZXN0IE9DYW1sIFdlZWtseSBOZXdzLCBmb3IgdGhlIHdl ZWsgb2YgSnVuZSAyMyB0byAzMCwNCjIwMjAuDQoNClRhYmxlIG9mIENvbnRlbnRzDQrilIDilIDi lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIANCg0KZmluY2ggLSBz dGF0aWMgc2l0ZSBnZW5lcmF0b3INCkFOTjogUmVsZWFzZXMgb2YgcmluZ28NCk9DYW1sIDQuMTEs IGZpcnN0IGJldGEgcmVsZWFzZQ0KRmxleERMTCAwLjM4IHJlbGVhc2VkDQpPdGhlciBPQ2FtbCBO ZXdzDQpPbGQgQ1dODQoNCg0KZmluY2ggLSBzdGF0aWMgc2l0ZSBnZW5lcmF0b3INCuKVkOKVkOKV kOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKV kOKVkOKVkOKVkOKVkOKVkOKVkOKVkA0KDQogIEFyY2hpdmU6DQogIFtodHRwczovL2Rpc2N1c3Mu b2NhbWwub3JnL3QvYW5uLWZpbmNoLXN0YXRpYy1zaXRlLWdlbmVyYXRvci82MDI2LzFdDQoNCg0K cm9kZHkgYW5ub3VuY2VkDQrilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDi lIDilIANCg0KICBBbm5vdW5jaW5nIFtmaW5jaF0sIGEgc2ltcGxlIHN0YXRpYyBzaXRlIGdlbmVy YXRvci4gSXQgdXNlcyBjb250ZW50DQogIHdyaXR0ZW4gYXMgTWFya2Rvd24gcGx1cyBZQU1MIGZy b250bWF0dGVyIGxpa2UgSmVreWxsL0h1Z28gZXRjLiBhbmQNCiAgcHJvZHVjZXMgb3V0cHV0IHdp dGggW0ppbmdvb10gdGVtcGxhdGVzLiBJdCBhbHNvIGhhcyBzb21lIGludGVncmF0aW9ucw0KICB3 aXRoIFJlYWN0IChhcyBpbiB0aGUgSlMgbGlicmFyeSkgaW4gdGhlIGZvcm0gb2YgSmluZ29vIGZp bHRlcnM6IHRoZQ0KICBtb3RpdmF0aW9uIGJlaGluZCBpdCB3YXMgdG8gbWFrZSBpdCBlYXNpZXIg dG8gZGV2ZWxvcCBzaXRlcyB0aGF0IHVzZQ0KICBSZWFjdCBqdXN0IGZvciBzb21lIGluIHNvbWUg cGFydHMgcmF0aGVyIHRoYW4gc3RydWN0dXJpbmcgdGhlIHdob2xlDQogIHNpdGUgYXMgYSBzaW5n bGUgcGFnZSBhcHBsaWNhdGlvbi4NCg0KDQpbZmluY2hdIGh0dHBzOi8vZ2l0aHViLmNvbS9yb2Rk eXlhZ2EvZmluY2gNCg0KW0ppbmdvb10gaHR0cHM6Ly9naXRodWIuY29tL3RhdGVnYWtpYnVua28v amluZ29vDQoNCg0KQU5OOiBSZWxlYXNlcyBvZiByaW5nbw0K4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ 4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQDQoNCiAgQXJjaGl2 ZTogW2h0dHBzOi8vZGlzY3Vzcy5vY2FtbC5vcmcvdC9hbm4tcmVsZWFzZXMtb2YtcmluZ28vNTYw NS8zXQ0KDQoNClJhcGhhw6tsIFByb3VzdCBhbm5vdW5jZWQNCuKUgOKUgOKUgOKUgOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgA0KDQog IFZlcnNpb24gMC41IG9mIGByaW5nbycgYW5kIGByaW5nby1sd3QnIGFyZSBub3cgYXZhaWxhYmxl IGluDQogIGBvcGFtJy4gQWx0aG91Z2ggdGhpcyB2ZXJzaW9uIGNoYW5nZXMgYHJpbmdvLWx3dCcg b25seSwgYm90aCBwYWNrYWdlcw0KICBhcmUgcmVsZWFzZWQgYW5ldyB0byBrZWVwIHRoZSB2ZXJz aW9uIG51bWJlcnMgaW4gc3luYy4gVGhpcyB2ZXJzaW9uDQogIGluY2x1ZGVzOg0KDQogIOKAoiBJ bXByb3ZlbWVudCBpbiBkb2N1bWVudGF0aW9uLg0KICDigKIgU2ltcGxpZmljYXRpb25zIGFuZCBy ZWR1Y3Rpb24gaW4gdGhlIG1lbW9yeSBmb290cHJpbnQgb2YgbHd0LXdyYXBwZWQNCiAgICBjYWNo ZXMuDQogIOKAoiBGaXggZm9yIGEgcmFjZSBjb25kaXRpb24gaW4gdGhlIGF1dG9tYXRpYyBjbGVh bnVwIChwcmV2aW91c2x5LCBvbg0KICAgIHdlYWsgY2FjaGVzIG9ubHksIGEgcHJvbWlzZSBiZWlu ZyByZWplY3RlZCBjb3VsZCBjYXVzZSBhIGRpZmZlcmVudA0KICAgIHByb21pc2UgdG8gYmUgcmVt b3ZlZCBmcm9tIHRoZSBjYWNoZSkNCiAg4oCiIEZpeCBhIGxlYWsNCiAg4oCiIE1vcmUgdGVzdCwg aW5jbHVkaW5nIGEgdGVzdCBmb3IgbGVha2luZXNzLg0KDQoNCk9DYW1sIDQuMTEsIGZpcnN0IGJl dGEgcmVsZWFzZQ0K4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ 4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQDQoNCiAgQXJjaGl2 ZToNCiAgW2h0dHBzOi8vZGlzY3Vzcy5vY2FtbC5vcmcvdC9vY2FtbC00LTExLWZpcnN0LWJldGEt cmVsZWFzZS82MDQyLzFdDQoNCg0Kb2N0YWNocm9uIGFubm91bmNlZA0K4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSADQoNCiAgVGhlIHJlbGVh c2Ugb2YgT0NhbWwgNC4xMS4wIGlzIGFwcHJvYWNoaW5nLg0KDQogIEFmdGVyIHRocmVlIGFscGhh IHJlbGVhc2VzLCB3ZSBoYXZlIGNyZWF0ZWQgYSBmaXJzdCBiZXRhIHZlcnNpb24gdG8NCiAgaGVs cCB5b3UgYWRhcHQgeW91ciBzb2Z0d2FyZSB0byB0aGUgbmV3IGZlYXR1cmVzIGFoZWFkIG9mIHRo ZSByZWxlYXNlLg0KDQogIFRoZSBjb21wYXRpYmlsaXR5IG9mIHRoZSBvcGFtIGVjb3N5c3RlbSB3 aXRoIE9DYW1sIDQuMTEuMCBpcyBjdXJyZW50bHkNCiAgcXVpdGUgZ29vZCwgYW5kIGl0IHNob3Vs ZCBiZSBwb3NzaWJsZSB0byB0ZXN0IHRoaXMgYmV0YSB3aXRob3V0IHRvbw0KICBtdWNoIHRyb3Vi bGUuDQoNCiAgVGhlIHNvdXJjZSBjb2RlIGlzIGF2YWlsYWJsZSBhdCB0aGVzZSBhZGRyZXNzZXM6 DQoNCiAgW2h0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9hcmNoaXZlLzQuMTEuMCtiZXRh MS50YXIuZ3pdDQogIFtodHRwczovL2NhbWwuaW5yaWEuZnIvcHViL2Rpc3RyaWIvb2NhbWwtNC4x MS9vY2FtbC00LjExLjArYmV0YTEudGFyLmd6XQ0KDQogIFRoZSBjb21waWxlciBjYW4gYWxzbyBi ZSBpbnN0YWxsZWQgYXMgYW4gT1BBTSBzd2l0Y2ggd2l0aCBvbmUgb2YgdGhlDQogIGZvbGxvd2lu ZyBjb21tYW5kcy4NCiAg4pSM4pSA4pSA4pSA4pSADQogIOKUgiBvcGFtIHN3aXRjaCBjcmVhdGUg b2NhbWwtdmFyaWFudHMuNC4xMS4wK2JldGExIC0tcmVwb3NpdG9yaWVzPWRlZmF1bHQsYmV0YT1n aXQraHR0cHM6Ly9naXRodWIuY29tL29jYW1sL29jYW1sLWJldGEtcmVwb3NpdG9yeS5naXQNCiAg 4pSU4pSA4pSA4pSA4pSADQogIG9yDQogIOKUjOKUgOKUgOKUgOKUgA0KICDilIIgb3BhbSBzd2l0 Y2ggY3JlYXRlIG9jYW1sLXZhcmlhbnRzLjQuMTEuMCtiZXRhMStWQVJJQU5UIC0tcmVwb3NpdG9y aWVzPWRlZmF1bHQsYmV0YT1naXQraHR0cHM6Ly9naXRodWIuY29tL29jYW1sL29jYW1sLWJldGEt cmVwb3NpdG9yeS5naXQNCiAg4pSU4pSA4pSA4pSA4pSADQogIHdoZXJlIHlvdSByZXBsYWNlIFZB UklBTlQgd2l0aCBvbmUgb2YgdGhlc2U6IGFmbCwgZmxhbWJkYSwgZnAsDQogIGZwK2ZsYW1iZGEN Cg0KICBXZSB3YW50IHRvIGtub3cgYWJvdXQgYWxsIGJ1Z3MuIFBsZWFzZSByZXBvcnQgdGhlbSBo ZXJlOg0KICAgW2h0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9pc3N1ZXNdDQoNCiAgSWYg eW91IGFyZSBpbnRlcmVzdGVkIGJ5IHRoZSBsaXN0IG9mIG5ldyBmZWF0dXJlcywgYW5kIHRoZSBv bi1nb2luZw0KICBsaXN0IG9mIGJ1ZyBmaXhlcyB0aGUgdXBkYXRlZCBjaGFuZ2UgbG9nIGZvciBP Q2FtbCA0LjExLjAgaXMgYXZhaWxhYmxlDQogIGF0Og0KDQogIFtodHRwczovL2dpdGh1Yi5jb20v b2NhbWwvb2NhbWwvYmxvYi80LjExL0NoYW5nZXNdDQoNCiAgQ29tcGFyZWQgdG8gdGhlIGxhc3Qg YWxwaGEgcmVsZWFzZSwgdGhpcyBmaXJzdCBiZXRhIHJlbGVhc2UgY29udGFpbnMNCiAgdGhlIGZv bGxvd2luZyBuZXcgYnVnIGZpeGVzOg0KDQoNCkRyaXZlcg0K4pWM4pWM4pWM4pWM4pWM4pWMDQoN CiAg4oCiIFsjOTAxMV06IEFsbG93IGxpbmtpbmcgLmNteGEgZmlsZXMgd2l0aCBubyB1bml0cyBv biBNU1ZDIGJ5IG5vdA0KICAgIHJlcXVpcmluZyB0aGUgLmxpYiBmaWxlIHRvIGJlIHByZXNlbnQu IChEYXZpZCBBbGxzb3BwLCByZXBvcnQgYnkNCiAgICBEaW1pdHJ5IEJlbHksIHJldmlldyBieSBY YXZpZXIgTGVyb3kpDQoNCg0KWyM5MDExXSBodHRwczovL2dpdGh1Yi5jb20vb2NhbWwvb2NhbWwv aXNzdWVzLzkwMTENCg0KDQpUeXBlY2hlY2tlcg0K4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM 4pWM4pWMDQoNCiAg4oCiIFsjOTM4NF0sIFsjOTM4NV06IEZpeCBjb3B5IHNjb3BlIGJ1Z3MgaW4g c3Vic3RpdHV0aW9ucyAoTGVvIFdoaXRlLA0KICAgIHJldmlldyBieSBUaG9tYXMgUmVmaXMsIHJl cG9ydCBieSBOaWNrIFJvYmVydHMpDQoNCiAg4oCiIFsjOTY5NV0sIFsjOTcwMl06IG5vIGVycm9y IHdoZW4gb3BlbmluZyBhbiBhbGlhcyB0byBhIG1pc3NpbmcgbW9kdWxlDQogICAgKEphY3F1ZXMg R2FycmlndWUsIHJlcG9ydCBhbmQgcmV2aWV3IGJ5IEdhYnJpZWwgU2NoZXJlcikNCg0KDQpbIzkz ODRdIGh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9pc3N1ZXMvOTM4NA0KDQpbIzkzODVd IGh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9pc3N1ZXMvOTM4NQ0KDQpbIzk2OTVdIGh0 dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9pc3N1ZXMvOTY5NQ0KDQpbIzk3MDJdIGh0dHBz Oi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9pc3N1ZXMvOTcwMg0KDQoNCldhcm5pbmdzDQrilYzi lYzilYzilYzilYzilYzilYzilYwNCg0KICDigKIgWyM3ODk3XSwgWyM5NTM3XTogRml4IHdhcm5p bmcgMzggZm9yIHJlYm91bmQgZXh0ZW5zaW9uIGNvbnN0cnVjdG9ycw0KICAgIChMZW8gV2hpdGUs IHJldmlldyBieSBGbG9yaWFuIEFuZ2VsZXR0aSkNCg0KICDigKIgWyM5MjQ0XTogRml4IHNvbWUg bWlzc2luZyB1c2FnZSB3YXJuaW5ncyAoTGVvIFdoaXRlLCByZXZpZXcgYnkNCiAgICBGbG9yaWFu IEFuZ2VsZXR0aSkNCg0KDQpbIzc4OTddIGh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9p c3N1ZXMvNzg5Nw0KDQpbIzk1MzddIGh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9pc3N1 ZXMvOTUzNw0KDQpbIzkyNDRdIGh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9pc3N1ZXMv OTI0NA0KDQoNClRvcGxldmVsDQrilYzilYzilYzilYzilYzilYzilYzilYwNCg0KICDigKIgWyM5 NDE1XTogVHJlYXQgYG9wZW4gc3RydWN0JyBhcyBgaW5jbHVkZSBzdHJ1Y3QnIGluIHRvcGxldmVs IChMZW8NCiAgICBXaGl0ZSwgcmV2aWV3IGJ5IFRob21hcyBSZWZpcykNCg0KICDigKIgWyM5NDE2 XTogQXZvaWQgd2FybmluZyA1OCBpbiBmbGFtYmRhIG9jYW1sbmF0IChMZW8gV2hpdGUsIHJldmll dyBieQ0KICAgIEZsb3JpYW4gQW5nZWxldHRpKQ0KDQoNClsjOTQxNV0gaHR0cHM6Ly9naXRodWIu Y29tL29jYW1sL29jYW1sL2lzc3Vlcy85NDE1DQoNClsjOTQxNl0gaHR0cHM6Ly9naXRodWIuY29t L29jYW1sL29jYW1sL2lzc3Vlcy85NDE2DQoNCg0KRmxhbWJkYSBiYWNrZW5kDQrilYzilYzilYzi lYzilYzilYzilYzilYzilYzilYzilYzilYzilYzilYzilYwNCg0KICDigKIgWyM5MTYzXTogVHJl YXQgbG9vcHMgcHJvcGVybHkgaW4gdW5fYW5mIChMZW8gV2hpdGUsIHJldmlldyBieSBNYXJrDQog ICAgU2hpbndlbGwsIFBpZXJyZSBDaGFtYmFydCBhbmQgVmluY2VudCBMYXZpcm9uKQ0KDQoNClsj OTE2M10gaHR0cHM6Ly9naXRodWIuY29tL29jYW1sL29jYW1sL2lzc3Vlcy85MTYzDQoNCg0KRmxl eERMTCAwLjM4IHJlbGVhc2VkDQrilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi lZDilZDilZDilZDilZDilZDilZDilZDilZANCg0KICBBcmNoaXZlOiBbaHR0cHM6Ly9kaXNjdXNz Lm9jYW1sLm9yZy90L2ZsZXhkbGwtMC0zOC1yZWxlYXNlZC82MDQzLzFdDQoNCg0KRGF2aWQgQWxs c29wcCBhbm5vdW5jZWQNCuKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgA0KDQogIFdlIGFyZSBwbGVhc2VkIHRvIGFubm91 bmNlIHRoZSByZWxlYXNlIG9mIEZsZXhETEwgMC4zOCENCg0KICBGbGV4RExMIHByb3ZpZGVzIGEg ZGxvcGVuLWxpa2UgaW50ZXJmYWNlIGZvciBXaW5kb3dzIGFuZCBpcyB1c2VkIHRvDQogIHNpbXBs aWZ5IHRoZSBsaW5raW5nIHByb2Nlc3MgZm9yIHRoZSBuYXRpdmUgV2luZG93cyBwb3J0cyBvZiBP Q2FtbCBhbmQNCiAgdG8gYWxsb3cgZHluYW1pYyBsb2FkaW5nIG9mIEMgY29kZSAoYnl0ZWNvZGUg c3R1YiBsaWJyYXJpZXMgYW5kIG5hdGl2ZQ0KICBEeW5saW5rKS4gSXQgaXMgYWxzbyB1c2VkIGZv ciB0aGUgc2FtZSBwdXJwb3NlIGluIHRoZSBDeWd3aW4gcG9ydHMgb2YNCiAgT0NhbWwsIGV4Y2Vw dCB0aGF0IHRoZXkgY2FuIGJlIGNvbmZpZ3VyZWQgd2l0aG91dCBzaGFyZWQgbGlicmFyeQ0KICBz dXBwb3J0Lg0KDQogIFRoZSByZWxlYXNlIGluY2x1ZGVzIHZhcmlvdXMgYnVnZml4ZXMgYXMgd2Vs bCBhcyBwcm9wZXIgc3VwcG9ydCBmb3INCiAgQysrIGxpbmtpbmcgb24gbWluZ3cgYW5kIGxpbmtp bmcgYWdhaW5zdCBkYXRhIHN5bWJvbHMgaW4gaW1wb3J0DQogIGxpYnJhcmllcy4NCg0KICBQbGVh c2Ugc2VlIHRoZSBbcmVsZWFzZSBwYWdlXSBmb3IgbW9yZSBpbmZvcm1hdGlvbi4NCg0KDQpbcmVs ZWFzZSBwYWdlXSBodHRwczovL2dpdGh1Yi5jb20vYWxhaW5mcmlzY2gvZmxleGRsbC9yZWxlYXNl cy90YWcvMC4zOA0KDQoNCk90aGVyIE9DYW1sIE5ld3MNCuKVkOKVkOKVkOKVkOKVkOKVkOKVkOKV kOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkA0KDQpGcm9tIHRoZSBvY2FtbGNvcmUgcGxhbmV0IGJs b2cNCuKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgA0KDQogIEhlcmUgYXJlIGxpbmtz IGZyb20gbWFueSBPQ2FtbCBibG9ncyBhZ2dyZWdhdGVkIGF0IFtPQ2FtbCBQbGFuZXRdLg0KDQog IOKAoiBbRnJhbWEtQyAyMS4xIChTY2FuZGl1bSkgaXMgb3V0LiBEb3dubG9hZCBpdCBoZXJlLl0N Cg0KDQpbT0NhbWwgUGxhbmV0XSBodHRwOi8vb2NhbWwub3JnL2NvbW11bml0eS9wbGFuZXQvDQoN CltGcmFtYS1DIDIxLjEgKFNjYW5kaXVtKSBpcyBvdXQuIERvd25sb2FkIGl0IGhlcmUuXQ0KaHR0 cDovL2ZyYW1hLWMuY29tL2luZGV4Lmh0bWwNCg0KDQpPbGQgQ1dODQrilZDilZDilZDilZDilZDi lZDilZANCg0KICBJZiB5b3UgaGFwcGVuIHRvIG1pc3MgYSBDV04sIHlvdSBjYW4gW3NlbmQgbWUg YSBtZXNzYWdlXSBhbmQgSSdsbCBtYWlsDQogIGl0IHRvIHlvdSwgb3IgZ28gdGFrZSBhIGxvb2sg YXQgW3RoZSBhcmNoaXZlXSBvciB0aGUgW1JTUyBmZWVkIG9mIHRoZQ0KICBhcmNoaXZlc10uDQoN CiAgSWYgeW91IGFsc28gd2lzaCB0byByZWNlaXZlIGl0IGV2ZXJ5IHdlZWsgYnkgbWFpbCwgeW91 IG1heSBzdWJzY3JpYmUNCiAgW29ubGluZV0uDQoNCiAgW0FsYW4gU2NobWl0dF0NCg0KDQpbc2Vu ZCBtZSBhIG1lc3NhZ2VdIG1haWx0bzphbGFuLnNjaG1pdHRAcG9seXRlY2huaXF1ZS5vcmcNCg0K W3RoZSBhcmNoaXZlXSBodHRwOi8vYWxhbi5wZXRpdGVwb21tZS5uZXQvY3duLw0KDQpbUlNTIGZl ZWQgb2YgdGhlIGFyY2hpdmVzXSBodHRwOi8vYWxhbi5wZXRpdGVwb21tZS5uZXQvY3duL2N3bi5y c3MNCg0KW29ubGluZV0gaHR0cDovL2xpc3RzLmlkeWxsLm9yZy9saXN0aW5mby9jYW1sLW5ld3Mt d2Vla2x5Lw0KDQpbQWxhbiBTY2htaXR0XSBodHRwOi8vYWxhbi5wZXRpdGVwb21tZS5uZXQvDQoN Cg== --===-=-= Content-Type: text/html; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable OCaml Weekly News

OCaml Weekly News

Previous Week Up Next Week

Hello

Here is the latest OCaml Weekly News, for the week of June 23 to 30, 2020.

finch - static site generator

Archive: https://discuss.ocaml.org/t/ann-finch-static-site-generator/60= 26/1

roddy announced

Announcing finch, a simp= le static site generator. It uses content written as Markdown plus YAML frontmatter like Jekyll/Hugo etc. and produces output wi= th Jingoo templates. I= t also has some integrations with React (as in the JS library) in the form of Jingoo filters: the motivation behind it was to mak= e it easier to develop sites that use React just for some in some parts rather than structuring the whole site as= a single page application.

ANN: Releases of ringo

Archive: https://discuss.ocaml.org/t/ann-releases-of-ringo/5605/3

Rapha=C3=ABl Proust announced

Version 0.5 of ringo and ringo-lwt are now availa= ble in opam. Although this version changes ringo-lwt only, both packages are released anew to keep the version numbers in sy= nc. This version includes:

  • Improvement in documentation.
  • Simplifications and reduction in the memory footprint of lwt-wrapped ca= ches.
  • Fix for a race condition in the automatic cleanup (previously, on weak = caches only, a promise being rejected could cause a different promise to be= removed from the cache)
  • Fix a leak
  • More test, including a test for leakiness.

OCaml 4.11, first beta release

Archive: https://discuss.ocaml.org/t/ocaml-4-11-first-beta-release/6042/1=

octachron announced

The release of OCaml 4.11.0 is approaching.

After three alpha releases, we have created a first beta version to help you adapt your software to the new features ahead of the release.

The compatibility of the opam ecosystem with OCaml 4.11.0 is currently quite good, and it should be possible to test this beta without too much trouble.

The source code is available at these addresses:

http= s://github.com/ocaml/ocaml/archive/4.11.0+beta1.tar.gz
https://caml.inria.fr/pub/distrib/ocaml-4.11/ocaml-4.11.0+beta1.tar= .gz

The compiler can also be installed as an OPAM switch with one of the following commands. 

opam switch create ocaml-variants.4.11.0+beta1=
 --repositories=3Ddefault,beta=3Dgit=
+https://github.com/ocaml/ocaml-beta-repository.git

or 

opam switch create ocaml-variants.4.11.0+beta1=
+VARIANT --repositories=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-repository.git

where you replace VARIANT with one of these: afl, flambda, fp, fp+flambda

We want to know about all bugs. Please report them here: https://github.com/ocaml= /ocaml/issues

If you are interested by the list of new features, and the on-going list of= bug fixes the updated change log for OCaml 4.11.0 is available at:

https://github= .com/ocaml/ocaml/blob/4.11/Changes

Compared to the last alpha release, this first beta release contains the fo= llowing new bug fixes:

Driver

  • #9011: Allow= linking .cmxa files with no units on MSVC by not requiring the .lib file t= o be present. (David Allsopp, report by Dimitry Bely, review by Xavier Lero= y)

Typechecker

  • #9384, #9385: Fix copy scope= bugs in substitutions (Leo White, review by Thomas Refis, report by Nick R= oberts)
  • #9695, #9702: no error when = opening an alias to a missing module (Jacques Garrigue, report and review b= y Gabriel Scherer)

Warnings

  • #7897, #9537: Fix warning 38= for rebound extension constructors (Leo White, review by Florian Angeletti= )
  • #9244: Fix s= ome missing usage warnings (Leo White, review by Florian Angeletti)

Toplevel

  • #9415: Treat= open struct as include struct in toplevel (Leo W= hite, review by Thomas Refis)
  • #9416: Avoid= warning 58 in flambda ocamlnat (Leo White, review by Florian Angeletti)

Flambda backend

  • #9163: Treat= loops properly in un_anf (Leo White, review by Mark Shinwell, Pierre Chamb= art and Vincent Laviron)

FlexDLL 0.38 released

Archive: https://discuss.ocaml.org/t/flexdll-0-38-released/6043/1

David Allsopp announced

We are pleased to announce the release of FlexDLL 0.38!

FlexDLL provides a dlopen-like interface for Windows and is used to simplif= y the linking process for the native Windows ports of OCaml and to allow dynamic loading of C code (bytecode stu= b libraries and native Dynlink). It is also used for the same purpose in the Cygwin ports of OCaml, except that th= ey can be configured without shared library support.

The release includes various bugfixes as well as proper support for C++ lin= king on mingw and linking against data symbols in import libraries.

Please see the release page for more information.

Other OCaml News

From the ocamlcore planet blog

Here are links from many OCaml blogs aggregated at OCaml Planet.

Old CWN

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a loo= k at the archive or the RSS feed of the archives<= /a>.

If you also wish to receive it every week by mail, you may subscribe online.

Alan Schmitt

--===-=-=-- --=-=-=--