From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <matthieu.dubuget@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id A14FFBC69
	for <caml-list@yquem.inria.fr>; Fri, 31 Aug 2007 20:25:30 +0200 (CEST)
Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.184])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7VIPUJg002927
	for <caml-list@inria.fr>; Fri, 31 Aug 2007 20:25:30 +0200
Received: by nf-out-0910.google.com with SMTP id k4so723556nfd
        for <caml-list@inria.fr>; Fri, 31 Aug 2007 11:25:30 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:reply-to:user-agent:mime-version:to:subject:references:in-reply-to:content-type:content-transfer-encoding;
        b=Elko/S/0svZs9asYm6q0XLw0C+krkzIlUWvUxQ0FJwtRHltBnC5RA2ZziLM2k393cl4g4uCrtakDrLtLOETWYJ5JDbGl/XoHNggqftaCzw0TcRTgDceq2BTeVC5gspeNCyoqwe1xgjF5HlgLpmN5uiXNp2F1+QC85TJboAi6Phc=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:reply-to:user-agent:mime-version:to:subject:references:in-reply-to:content-type:content-transfer-encoding;
        b=YvgiLyLLlDku2g9esEtnXOyiSz6GNsBAhQOH94PQsY9kn8gWg9YDLIegbfY2KjRJqrf/U1RwPCZRZYG0ih5Tdfy9tiuEie6GGf08+lr0zYFEOHKoo1nIPnW6HNldXuLxy6XNRXSGvs4FZCJBH56+qMe/Lvll3glCv4eow6qfKF8=
Received: by 10.78.142.14 with SMTP id p14mr1541423hud.1188584729380;
        Fri, 31 Aug 2007 11:25:29 -0700 (PDT)
Received: from ?192.168.1.10? ( [77.195.226.97])
        by mx.google.com with ESMTPS id d2sm1573145nfc.2007.08.31.11.25.26
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Fri, 31 Aug 2007 11:25:27 -0700 (PDT)
Message-ID: <46D85D14.3070109@gmail.com>
Date: Fri, 31 Aug 2007 20:25:24 +0200
From: Matthieu Dubuget <matthieu.dubuget@gmail.com>
Reply-To: matthieu.dubuget@gmail.com
User-Agent: Thunderbird 1.5.0.13 (X11/20070824)
MIME-Version: 1.0
To: Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] int overflow and Marshal failure
References: <6cd4x4ae5k.fsf@hod.lan.m-e-leypold.de> <1188577819.7084.21.camel@MATHIAS-ENS>
In-Reply-To: <1188577819.7084.21.camel@MATHIAS-ENS>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-j-chkmail-Score: MSGID : 46D85D1A.001 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at concorde with ID 46D85D1A.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; matthieu:01 dubuget:01 matthieu:01 dubuget:01 0200,:01 markus:01 integers:01 largefile:01 sub-module:01 mathias:98 unix:01 unix:01 caml-list:01 marshal:01 int:01 

Mathias Kende a écrit :
> Le jeudi 30 août 2007 à 23:47 +0200, Markus E L a écrit :
>   
>> A check in the Unix library would be nice, in the long run I think
>> using 32bit native integers is absolutely required. 
>>     
>
> I had the same sort of problem with the Unix.stat function and the
> st_size member being an int while it is a 64 bits int on recent systems
> (including some 32 bits one). The maximum size that can be stored on 32
> bits system, 1Go, is much too small for this function.
>   
I think that the Largefile sub-module solves this problem.

Salutations