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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6EF537FA5C for ; Tue, 21 Jun 2016 13:55:53 +0200 (CEST) IronPort-PHdr: 9a23:sYbnMhL+F0X2dEhNLtmcpTZWNBhigK39O0sv0rFitYgULvzxwZ3uMQTl6Ol3ixeRBMOAuqoC07Kd6v6ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD14Lvj6vrpdX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+E8TKdEJDUgKWE8osPx5jfZSg7ayGEVVOoRkwF/KQ/P6w2yCpnruy3xsetmniOdN8rqZbs5UHKs9fE4G1fTlC4bOmthoynsgctqgfcDrQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=None smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@oxalide-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=mailfrom; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@oxalide-out.extra.cea.fr) identity=helo; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@oxalide-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C4AAD9KWlXhwjgqIRdhD+DULd5gXqGFwKBMzgUAQEBAQEBAQERAQEBCgsJCSEvgjGCGgEBAQMBDBcPAQVGCwkCGAICJgICVxMIAogkCJNFnR2QWAELASSBAYcdCIJOhQyCNYJaBZh5l3KFXY94HoJPIoE3izQBAQE X-IPAS-Result: A0C4AAD9KWlXhwjgqIRdhD+DULd5gXqGFwKBMzgUAQEBAQEBAQERAQEBCgsJCSEvgjGCGgEBAQMBDBcPAQVGCwkCGAICJgICVxMIAogkCJNFnR2QWAELASSBAYcdCIJOhQyCNYJaBZh5l3KFXY94HoJPIoE3izQBAQE X-IronPort-AV: E=Sophos;i="5.26,503,1459807200"; d="scan'208";a="181986052" Received: from oxalide-out.extra.cea.fr ([132.168.224.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 Jun 2016 13:55:52 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide.extra.cea.fr (8.15.2/8.15.2/CEAnet-Internet-out-2.4) with ESMTP id u5LBtqcf012317 for ; Tue, 21 Jun 2016 13:55:52 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id B93402046B4 for ; Tue, 21 Jun 2016 13:56:41 +0200 (CEST) Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (Postfix) with ESMTP id A7600202775 for ; Tue, 21 Jun 2016 13:56:41 +0200 (CEST) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet2.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id u5LBtqS5031087 for ; Tue, 21 Jun 2016 13:55:52 +0200 To: caml-list@inria.fr References: <7182303B-EBFF-4CFC-A7DF-B5C7A059509F@marneu.com> From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= Message-ID: Date: Tue, 21 Jun 2016 13:55:52 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Presumed bug in OCaml's garbage collector or in its Weak module... On 18/06/2016 19:39, "Martin R. Neuhäußer" wrote: > Just for the sake of completeness: > The test case works correctly, if ephemerons are used to simulate a weak set. See the corresponding test case „gcbug3.ml“. > So there seems to at least exist a (sub-optimal) work-around in OCaml 4.03.0 and later. > Thank you for all these repro cases and investigations! > I hesitate a bit before opening an „official“ issue on Mantis as I might very well overlook some detail. You should not hesitate since you created nice repro cases that behave differently on ocaml versions. Perhaps at the end it is not a bug, but it is easier to keep track of problems on a bug tracker. In the mean time I will look at it. Thanks, -- François