From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 711277FEEB for ; Sat, 18 Jun 2016 19:39:41 +0200 (CEST) IronPort-PHdr: 9a23:p0Z/9BxNPWYqgPTXCy+O+j09IxM/srCxBDY+r6Qd0eMfIJqq85mqBkHD//Il1AaPBtWKraMewLOP7OjJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6DyZXtnLnrpNX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFm0uSw7UCGFVLHpiJBEzZerh0dSS3M9g37WKDL9Bzcu/d9VDQtMNe8BeQsXi++x6JiUhnllWEMMDtvo0/NjcklxodSug6goStFhbnybZyVuOfJc7mXNYcCQnFddsNYTSpMH8W3aI5ZXLlJBvpRs4So/whGlhC5HwT5QbOyxw== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=post@marneu.com; spf=Pass smtp.mailfrom=post@marneu.com; spf=None smtp.helo=postmaster@zulu1878.startdedicated.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of post@marneu.com) identity=pra; client-ip=62.75.236.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="post@marneu.com"; x-sender="post@marneu.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of post@marneu.com designates 62.75.236.16 as permitted sender) identity=mailfrom; client-ip=62.75.236.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="post@marneu.com"; x-sender="post@marneu.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@zulu1878.startdedicated.de) identity=helo; client-ip=62.75.236.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="post@marneu.com"; x-sender="postmaster@zulu1878.startdedicated.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BvBAAUhmVX/xDsSz5dhF8BuxOBeoEChRUCgVcUAQEBAQEBAQFkJ4IxghsBAQQjVhALQgICVwaIRwGvVJAVAQEIAQEBAQEBARIOhS+CbwiCTodBK4IvAQSYdgGDLYp8gVMBh22FYY91Ah42gjuBN4s0AQEB X-IPAS-Result: A0BvBAAUhmVX/xDsSz5dhF8BuxOBeoEChRUCgVcUAQEBAQEBAQFkJ4IxghsBAQQjVhALQgICVwaIRwGvVJAVAQEIAQEBAQEBARIOhS+CbwiCTodBK4IvAQSYdgGDLYp8gVMBh22FYY91Ah42gjuBN4s0AQEB X-IronPort-AV: E=Sophos;i="5.26,487,1459807200"; d="asc'?scan'208";a="222971050" Received: from wanjo.de (HELO zulu1878.startdedicated.de) ([62.75.236.16]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Jun 2016 19:39:40 +0200 Received: from localhost (fuenf.wanjo.de.local [127.0.0.1]) by zulu1878.startdedicated.de (Postfix) with ESMTP id 3C0AE4D833EA; Sat, 18 Jun 2016 19:39:40 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at zulu1878.startdedicated.de Received: from zulu1878.startdedicated.de ([127.0.0.1]) by localhost (fuenf.wanjo.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id BvxZkZmw5gcR; Sat, 18 Jun 2016 19:39:39 +0200 (CEST) Received: from martins-macbook-pro.fritz.box (x4e301e41.dyn.telefonica.de [78.48.30.65]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by zulu1878.startdedicated.de (Postfix) with ESMTPSA id 1540F4D83364; Sat, 18 Jun 2016 19:39:39 +0200 (CEST) Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Content-Type: multipart/signed; boundary="Apple-Mail=_39E854C6-F6E7-4158-8D68-9CA96B072B7C"; protocol="application/pgp-signature"; micalg=pgp-sha1 X-Pgp-Agent: GPGMail 2.6b2 From: =?utf-8?Q?=22Martin_R=2E_Neuh=C3=A4u=C3=9Fer=22?= In-Reply-To: <7182303B-EBFF-4CFC-A7DF-B5C7A059509F@marneu.com> Date: Sat, 18 Jun 2016 19:39:35 +0200 Cc: OCaml List Message-Id: References: <7182303B-EBFF-4CFC-A7DF-B5C7A059509F@marneu.com> To: =?utf-8?Q?=22Martin_R=2E_Neuh=C3=A4u=C3=9Fer=22?= X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] Presumed bug in OCaml's garbage collector or in its Weak module... --Apple-Mail=_39E854C6-F6E7-4158-8D68-9CA96B072B7C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Just for the sake of completeness: The test case works correctly, if ephemerons are used to simulate a weak se= t. See the corresponding test case =E2=80=9Egcbug3.ml=E2=80=9C. So there seems to at least exist a (sub-optimal) work-around in OCaml 4.03.= 0 and later. Best, Martin --Apple-Mail=_39E854C6-F6E7-4158-8D68-9CA96B072B7C Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=signature.asc Content-Type: application/pgp-signature; name=signature.asc Content-Description: Message signed with OpenPGP using GPGMail -----BEGIN PGP SIGNATURE----- Comment: GPGTools - https://gpgtools.org iEYEARECAAYFAldlh1oACgkQbEbxnBb9spjR5ACfbQMnLJeQ7Ulmr8ZFOkgXjWuv GCYAnR/WYvA846+8iX+XEXALuij4H6Hz =pCmI -----END PGP SIGNATURE----- --Apple-Mail=_39E854C6-F6E7-4158-8D68-9CA96B072B7C--