From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gares@fettunta.org>
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 B2D9E7F6CC
	for <caml-list@sympa.inria.fr>; Thu,  5 Feb 2015 11:33:57 +0100 (CET)
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=94.23.69.127;
  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=94.23.69.127;
  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=94.23.69.127;
  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: A0C8AgDFRdNUdH9FF15ahCbIPoEuQwEBAQEBEQEMHUKEDQEFMgFWCxgJJQ8FKIhhBNZGkBWDAIETBZg9AZJqgWcBC4IegzABAQE
X-IPAS-Result: A0C8AgDFRdNUdH9FF15ahCbIPoEuQwEBAQEBEQEMHUKEDQEFMgFWCxgJJQ8FKIhhBNZGkBWDAIETBZg9AZJqgWcBC4IegzABAQE
X-IronPort-AV: E=Sophos;i="5.09,522,1418079600"; 
   d="scan'208";a="98959260"
Received: from fettunta.org ([94.23.69.127])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Feb 2015 11:33:57 +0100
Received: from birba.invalid (birba.inria.fr [138.96.192.36])
	by fettunta.org (Postfix) with ESMTPSA id 66027D45A
	for <caml-list@inria.fr>; Thu,  5 Feb 2015 11:33:56 +0100 (CET)
Received: from gares by birba.invalid with local (Exim 4.84)
	(envelope-from <gares@birba.invalid>)
	id 1YJJky-0002xQ-6R
	for caml-list@inria.fr; Thu, 05 Feb 2015 11:33:56 +0100
Date: Thu, 5 Feb 2015 11:33:56 +0100
From: Enrico Tassi <enrico.tassi@inria.fr>
To: caml-list@inria.fr
Message-ID: <20150205103356.GA9849@birba.invalid>
References: <20150202103256.GA30053@birba.invalid>
 <54D33020.6010707@lexifi.com>
 <54D33EC3.2050809@inria.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <54D33EC3.2050809@inria.fr>
User-Agent: Mutt/1.5.23 (2014-03-12)
Subject: Re: [Caml-list] unmarshaling large data from string on 32 bits

On Thu, Feb 05, 2015 at 10:58:27AM +0100, Pierre-Marie Pédrot wrote:
> Both workarounds would not work. Indeed, we use closure marshalling in
> Coq, which is not supported by the two proposed implementations.

JFTR no, we don't mashal closures.

Still a custom unmarshaler is a bit pulp for me...

Best,
-- 
Enrico Tassi