From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3O6vD9o017923
	for <caml-list@sympa-roc.inria.fr>; Tue, 24 Apr 2012 08:57:13 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ar0CAGdOlk/UGyoFlGdsb2JhbABEsWgiAQEBAQkLCQkUAySCSoE0iG+ZEaFojimCQmMElXmGBI0m
X-IronPort-AV: E=Sophos;i="4.75,472,1330902000"; 
   d="scan'208";a="141282505"
Received: from smtp5-g21.free.fr ([212.27.42.5])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Apr 2012 08:56:48 +0200
Received: from yeeloong (unknown [82.67.194.89])
	by smtp5-g21.free.fr (Postfix) with SMTP id D159DD48136
	for <caml-list@inria.fr>; Tue, 24 Apr 2012 08:56:43 +0200 (CEST)
Received: by yeeloong (sSMTP sendmail emulation); Tue, 24 Apr 2012 08:52:57 +0200
Date: Tue, 24 Apr 2012 08:52:57 +0200
From: rixed@happyleptic.org
To: caml-list@inria.fr
Message-ID: <20120424065257.GA25891@yeeloong.happyleptic.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: [Caml-list] Stdlib's hashtbl never sized down?

I just discovered that stdlib's hash table size is doubled when the
average list length reach some threshold, but are never sized down. So
if one uses a long lived hashtable which number of elements vary with
time the underlying array will only grow.  I suppose it's on purpose but
need help to find a reason for this.