From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gares@fettunta.org>
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 837D57EE4B
	for <caml-list@sympa.inria.fr>; Wed, 16 Oct 2013 16:42:31 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  enrico.tassi@inria.fr) identity=pra; client-ip=87.98.168.143;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="gares@fettunta.org";
  x-sender="enrico.tassi@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  gares@fettunta.org) identity=mailfrom;
  client-ip=87.98.168.143;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="gares@fettunta.org";
  x-sender="gares@fettunta.org"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@fettunta.org) identity=helo;
  client-ip=87.98.168.143;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="gares@fettunta.org";
  x-sender="postmaster@fettunta.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AigBABqlXlJXYqiPl2dsb2JhbABahAXDTg4BAQEBAQgWBzyCJQEBBTpPCxgJJQ8FKE+Hb78aj26DCYEGA5gDAZNogUA
X-IPAS-Result: AigBABqlXlJXYqiPl2dsb2JhbABahAXDTg4BAQEBAQgWBzyCJQEBBTpPCxgJJQ8FKE+Hb78aj26DCYEGA5gDAZNogUA
X-IronPort-AV: E=Sophos;i="4.93,508,1378850400"; 
   d="scan'208";a="30590050"
Received: from fettunta.hackadomia.org (HELO fettunta.org) ([87.98.168.143])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Oct 2013 16:42:30 +0200
Received: from birba.invalid (unknown [193.55.250.104])
	by fettunta.org (Postfix) with ESMTPSA id DBCE6D066
	for <caml-list@inria.fr>; Wed, 16 Oct 2013 16:42:29 +0200 (CEST)
Received: from gares by birba.invalid with local (Exim 4.80)
	(envelope-from <gares@birba.invalid>)
	id 1VWSIv-0005ag-MF
	for caml-list@inria.fr; Wed, 16 Oct 2013 16:42:29 +0200
Date: Wed, 16 Oct 2013 16:42:29 +0200
From: Enrico Tassi <enrico.tassi@inria.fr>
To: caml-list@inria.fr
Message-ID: <20131016144229.GC17954@birba.invalid>
References: <20131014153023.GA19032@birba.invalid>
 <525E9CA6.609@ens.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <525E9CA6.609@ens.fr>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] Marshalling: automatic discard of unmashalable data
 via ephemerons

On Wed, Oct 16, 2013 at 04:03:18PM +0200, Jacques-Henri Jourdan wrote:
> The authors of Why3 encountered similar problems. I suggest you to read
> the Weakhtbl module, that gives a solution to this problem.

Thanks for the hint!

Indeed they use an imperative list to enqueue/dequeue deletions
that are hence never performed by the finalizer itself.

Ciao
-- 
Enrico Tassi