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 D392D7F02D for ; Tue, 7 Oct 2014 11:12:51 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of virgile.prevosto@gmail.com) identity=pra; client-ip=209.85.160.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of virgile.prevosto@gmail.com designates 209.85.160.169 as permitted sender) identity=mailfrom; client-ip=209.85.160.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yk0-f169.google.com) identity=helo; client-ip=209.85.160.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="postmaster@mail-yk0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag4EAHmtM1TRVaCpm2dsb2JhbABFGoNhWASCfslQh3RjCBYBEQEBAQEBBgsLCRQshAQBAQQSER0BOAEDDAEFBQsPAiYCAiISAQUBHBkIGogIAxENN591boswhQKITCcNhx0BBQ6BHpIXD4FFBZJ6gzaHDoEtO5AZgg0YKYFsgyo7LwGCSQEBBQ X-IPAS-Result: Ag4EAHmtM1TRVaCpm2dsb2JhbABFGoNhWASCfslQh3RjCBYBEQEBAQEBBgsLCRQshAQBAQQSER0BOAEDDAEFBQsPAiYCAiISAQUBHBkIGogIAxENN591boswhQKITCcNhx0BBQ6BHpIXD4FFBZJ6gzaHDoEtO5AZgg0YKYFsgyo7LwGCSQEBBQ X-IronPort-AV: E=Sophos;i="5.04,668,1406584800"; d="scan'208";a="82242632" Received: from mail-yk0-f169.google.com ([209.85.160.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Oct 2014 11:12:51 +0200 Received: by mail-yk0-f169.google.com with SMTP id 10so2718439ykt.0 for ; Tue, 07 Oct 2014 02:12:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:cc:content-type; bh=4XEHheEhB5nLeXDM99X64ivnYIOH1NV/Ls6j8K89VIA=; b=wb0cV/NFwKwRpzL/6gOIOO5Ng+G/GVzgpEhLHbj4wkNaoUjRIkh3XavkVf8u2qYjR0 3TQdZUlpzeuv0GKwBM86qNolVpFtS7WfDSuurtgiv8/MSffsJkf3HNf12wZOgcJTzeDe ukIL5wjrAEaBsZ+ayqE1GFWZ9a9CoQUV+s5CnCAd4TwjM4CDAjHXvK2asDZEnAcxqjBg mJ4ofDzMx4i1McIx0PLMIjIZcvmWAPz56QZi1yPfUD4I7xfQthiojPS2buxiKU4Nid8n fX8KEMN1Zon7/HA3LbN/jm1PQKpSvOs9JG0anxZfoRyUnwPiLlhHj6n2mplnX17a+a00 H1cw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=m4x.org; s=gapps; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:cc:content-type; bh=4XEHheEhB5nLeXDM99X64ivnYIOH1NV/Ls6j8K89VIA=; b=aEnU2FdPMFEdtubz72TvocObww89tkzVyTH7fCu9L0NCkyrOWXMOlCkNYJU1Ux6vx+ 0nnvuuJgOpi1XhNNADd85wLQcVIx5gcwF040nRyz6fqWxmLj6/s1Ycdkc4wiKVyx3/vP 7Ko34myk8eBcPwxF9NGbs6ki+24/S3+/tMIlo= MIME-Version: 1.0 X-Received: by 10.236.121.142 with SMTP id r14mr3769759yhh.92.1412673169931; Tue, 07 Oct 2014 02:12:49 -0700 (PDT) Sender: virgile.prevosto@gmail.com Received: by 10.170.92.84 with HTTP; Tue, 7 Oct 2014 02:12:49 -0700 (PDT) In-Reply-To: References: Date: Tue, 7 Oct 2014 11:12:49 +0200 X-Google-Sender-Auth: wOuqV1iPk9iULZTHo2YZSqT_ayU Message-ID: From: Virgile Prevosto Cc: caml-list Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] hook before gc major collections Hello, 2014-10-07 10:42 GMT+02:00 Damien Pous : > I would like to, but Weak provides sets while I need maps... > (i.e., I would be somehow happy if Weak.Make did implement Hashtbl.S > rather than Weak.S) > I'm not too sure if that apply directly to your case, but you might be interested in the ephemeron patch https://github.com/ocaml/ocaml/pull/22, which according to the related issue in the bts (http://caml.inria.fr/mantis/view.php?id=6353), should be merged for 4.03 (well, the comment mention "license issues", that are always longer to solve than expected, but let's stay optimistic). Best regards, -- E tutto per oggi, a la prossima volta Virgile