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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id F203B7EE4B for ; Wed, 16 Oct 2013 18:24:27 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=pra; client-ip=193.252.23.213; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=mailfrom; client-ip=193.252.23.213; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@msa.smtpout.orange.fr) identity=helo; client-ip=193.252.23.213; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="postmaster@msa.smtpout.orange.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AswBAMa8XlLB/BfVnGdsb2JhbABAGoM/wmGBNA4BAQEBAQYWCTyCJgEDAjIBBTAQEQshFg8JAwIBAgFFBgEMCAEBiAYINr56BI9YhCUDmASGOI0wgUA X-IPAS-Result: AswBAMa8XlLB/BfVnGdsb2JhbABAGoM/wmGBNA4BAQEBAQYWCTyCJgEDAjIBBTAQEQshFg8JAwIBAgFFBgEMCAEBiAYINr56BI9YhCUDmASGOI0wgUA X-IronPort-AV: E=Sophos;i="4.93,508,1378850400"; d="scan'208";a="37328401" Received: from msa04.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.213]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Oct 2013 18:24:26 +0200 Received: from [192.168.1.116] ([92.151.36.206]) by mwinf5d42 with ME id dsQS1m00s4SrbiL03sQSy8; Wed, 16 Oct 2013 18:24:27 +0200 Message-ID: <525EBDBC.8060602@frisch.fr> Date: Wed, 16 Oct 2013 18:24:28 +0200 From: Alain Frisch User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.0 MIME-Version: 1.0 To: =?ISO-8859-1?Q?Fran=E7ois_Bobot?= , caml-list@inria.fr References: <20131014153023.GA19032@birba.invalid> <525E9CA6.609@ens.fr> <20131016144229.GC17954@birba.invalid> <525EB0FA.7080302@cea.fr> In-Reply-To: <525EB0FA.7080302@cea.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Marshalling: automatic discard of unmashalable data via ephemerons I can see that Damien created an "ephemeron" branch in the SVN. Is it related to François' proposal presented in the 2011 OCaml User Conference ? https://forge.ocamlcore.org/docman/view.php/77/134/memoization2011.pdf Alain