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 23CC95D5 for ; Fri, 30 Mar 2018 15:38:25 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,382,1517871600"; d="scan'208";a="320751342" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Mar 2018 17:38:23 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7D78D8239C; Fri, 30 Mar 2018 17:38:23 +0200 (CEST) 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 5D9138239C for ; Fri, 30 Mar 2018 11:40:37 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mail@christoph-bauer.net; spf=None smtp.mailfrom=mail@christoph-bauer.net; spf=None smtp.helo=postmaster@smtp03.udag.de IronPort-PHdr: =?us-ascii?q?9a23=3AC6JC9xRCYOpcJmBxpA9wvHlmxtpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69YxWN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/nzJhMx+jKxVoxyvqBJwzIHWfI6bO+Fzfr/ecN4AWWZNQshcWi5HD4ih?= =?us-ascii?q?b4UPFe0BPeNAooTjp1sOtxq+BRKwBOPo0j9IhmL90LAg3OQ8Dw7GxhErEtULsH?= =?us-ascii?q?vOrdX1MLwfXvy1zKnSzDXDdO9W2TDl6IjIaxwuuuuDXa9ufsrL00UvER3KjkmJ?= =?us-ascii?q?pIHjIjib2OMNs22B4OphU+Kik28nqwdrojiu3MggkIfJhpgTx1vZ9it52J44KN?= =?us-ascii?q?ymREJhfNKpH5pduzuHO4dqQ84uWX9ktSIixrACpJK3ZjYGxIg9yxLCa/GKcpKE?= =?us-ascii?q?7xztWeuXPDx2nmhqeKiliBa36UWgyvPzVs2z0FtStSpFl8XMtmgR2xHd8MSHV+?= =?us-ascii?q?Zy8V2u2TqVyg/c9PlIIUEylaXFN54s2r89moQJvUjeESL7mV/6gLKKekgl4OSk?= =?us-ascii?q?9eDqbq3jppCGNo90jg/+Mr4pmsy6Gek4NxIBX2mf+emnyLLj/Vf5QLRRjv0qla?= =?us-ascii?q?nZqJDaKd0AqaGjHg9azJwj5wy5Dzi4zNQUhWMHI05deBKbk4jpPEnDL+ziAve6?= =?us-ascii?q?h1SgiTNrx/HdPr39GZjNNXjCkLL5fbln8UJcyQwzzcpe551OEL0BLujzCQfNs4?= =?us-ascii?q?nTBxo9dgi12PrPCdNn14pYV3jcLLWeNfb5sUWJ/f4oO+nEToYItSy1f/0s5vrG?= =?us-ascii?q?hn8jmEQBerGpmJEedX2iWPJrPxPKMjLXnt4dHDJS7UIFR+vwhQjaCG8BVzOJR6?= =?us-ascii?q?s5owoDJsejBIbHSJqqhebYjiy7BJxNemdeChWGGGrlbcOCVuteMHvOcP8kqSQN?= =?us-ascii?q?UP2ac6FkzQun7laowLp9L/HI/TUY8JjqydVvoeveiUNqrGEmP4Gmy2iIClpMsC?= =?us-ascii?q?YISjsxhf4tuklh0g/Yl7V0ivMeGdEBv/4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DmBADUBb5ahx1qkj5DGhwBAQEEAQEKA?= =?us-ascii?q?QGEIwNsKINciBuMZ4FLKYEPklGBegsjhGEChCIZBgYyFgECAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgNCQgoL4I3IoJMAQUjDwFWCxgCAiYCAlcTCAEBhQ0LMK1ighyEVYN2gikFg?= =?us-ascii?q?QmEPIIaVIE/gS6CYoMRBBiCDoI0glQClzUIhVGIVoEnAYYWBYR2iRSGZoElIwK?= =?us-ascii?q?CATMaCCYKOoJEgi2OIW0BjzIBAQ?= X-IPAS-Result: =?us-ascii?q?A0DmBADUBb5ahx1qkj5DGhwBAQEEAQEKAQGEIwNsKINciBu?= =?us-ascii?q?MZ4FLKYEPklGBegsjhGEChCIZBgYyFgECAQEBAQEBAQEBEgEBAQgNCQgoL4I3I?= =?us-ascii?q?oJMAQUjDwFWCxgCAiYCAlcTCAEBhQ0LMK1ighyEVYN2gikFgQmEPIIaVIE/gS6?= =?us-ascii?q?CYoMRBBiCDoI0glQClzUIhVGIVoEnAYYWBYR2iRSGZoElIwKCATMaCCYKOoJEg?= =?us-ascii?q?i2OIW0BjzIBAQ?= X-IronPort-AV: E=Sophos;i="5.48,381,1517871600"; d="scan'208";a="260386133" Received: from smtp03.udag.de ([62.146.106.29]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Mar 2018 11:40:28 +0200 Received: from [192.168.178.55] (p5b149c21.dip0.t-ipconnect.de [91.20.156.33]) by smtp03.udag.de (Postfix) with ESMTPA id B360B2752 for ; Fri, 30 Mar 2018 11:40:27 +0200 (CEST) To: caml-list@inria.fr References: From: Christoph Bauer Message-ID: <6a5161bc-be44-ae14-558a-3737819b70f3@christoph-bauer.net> Date: Fri, 30 Mar 2018 11:40:27 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Content-Language: de-DE X-Validation-by: mail@christoph-bauer.net Subject: Re: [Caml-list] Hashtbl and shrinking Reply-To: Christoph Bauer X-Loop: caml-list@inria.fr X-Sequence: 16763 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: On 29.03.2018 22:49, Armaël Guéneau wrote: > We noticed there is no shrinking implemented, that would typically > happen when the number of elements goes under a certain threshold > compared to the size of the underlying array. Hi Armaël,   FYI there was a report about this on mantis:  https://caml.inria.fr/mantis/view.php?id=5555 Kind regards Christoph Bauer -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs