From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <edwin+ml-ocaml@etorok.net>
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 5CB9381799
	for <caml-list@sympa.inria.fr>; Fri, 26 Jul 2013 12:48:14 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  edwin+ml-ocaml@etorok.net) identity=pra;
  client-ip=176.9.138.55;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="edwin+ml-ocaml@etorok.net";
  x-sender="edwin+ml-ocaml@etorok.net";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  edwin+ml-ocaml@etorok.net designates 176.9.138.55 as
  permitted sender) identity=mailfrom; client-ip=176.9.138.55;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="edwin+ml-ocaml@etorok.net";
  x-sender="edwin+ml-ocaml@etorok.net";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@mail.etorok.net designates 176.9.138.55 as
  permitted sender) identity=helo; client-ip=176.9.138.55;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="edwin+ml-ocaml@etorok.net";
  x-sender="postmaster@mail.etorok.net";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgoFAAVT8lGwCYo3/2dsb2JhbABagmUhNYNfujWBFhZ0giQBAQUjHQEBNgIPCxgCAgUWCwICCQMCAQIBNwENEwgCiA0DCKY9dINOAQWNfgaBKI5cFoJNgSKJJ447gSmQI4MX
X-IPAS-Result: AgoFAAVT8lGwCYo3/2dsb2JhbABagmUhNYNfujWBFhZ0giQBAQUjHQEBNgIPCxgCAgUWCwICCQMCAQIBNwENEwgCiA0DCKY9dINOAQWNfgaBKI5cFoJNgSKJJ447gSmQI4MX
X-IronPort-AV: E=Sophos;i="4.89,750,1367964000"; 
   d="scan'208";a="22335379"
Received: from mail.etorok.net ([176.9.138.55])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Jul 2013 12:48:13 +0200
Received: from [IPv6:2a02:2f09:40b1:800:6169:c8b1:a1fb:edd] (unknown [IPv6:2a02:2f09:40b1:800:6169:c8b1:a1fb:edd])
	(using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by mail.etorok.net (Postfix) with ESMTPSA id 92F0D46D8
	for <caml-list@inria.fr>; Fri, 26 Jul 2013 12:48:12 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=etorok.net;
	s=mailout; t=1374835692;
	bh=4JENAif73nTWZzDbIrJ8rhxX6syK4zq33zZoMwmqqyQ=; l=825;
	h=Date:From:To:References:In-Reply-To:From;
	b=XvcSB9DaNXzyT8qf+0pN72DQSF4TMNpaXrC72ydFVmqgrHsrzWdoijlMvzbtZeo5O
	 xl94I5D705hS3zO/POA8jAK5i3g8zLBYtJ7QoHdjz7c7yqlnCBAJM7iC6lo6RN1ZsZ
	 AZAaszSjncNGEYSTTY42cL6lzLfW7pQO1+W1WL2s=
Message-ID: <51F253EC.6030501@etorok.net>
Date: Fri, 26 Jul 2013 13:48:12 +0300
From: =?UTF-8?B?VMO2csO2ayBFZHdpbg==?= <edwin+ml-ocaml@etorok.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130630 Icedove/17.0.7
MIME-Version: 1.0
To: caml-list@inria.fr
References: <CAE1DttC5cVd3=RwXjpuAVM1syf8zU4gpbx7c+xgkobWvkMqMFQ@mail.gmail.com> <51F2536B.5060105@rktmb.org>
In-Reply-To: <51F2536B.5060105@rktmb.org>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-Virus-Scanned: clamav-milter 0.97.8 at mail
X-Virus-Status: Clean
Subject: Re: [Caml-list] portable truncate

On 07/26/2013 01:46 PM, Mihamina Rakotomandimby wrote:
> On 2013-07-26 13:35, Florent Monnier wrote:
>> I would like to know how to truncate a file under MS/Windows.
>> When I use any of the functions Unix.(LargeFile.)[f]truncate I get
>> these exceptions:
>>
>> Exception: Invalid_argument "Unix.truncate not implemented".
>> Exception: Invalid_argument "Unix.LargeFile.ftruncate not implemented".
>>
>> 1) I thought that the module Unix only contains portable things for
>> Windows, so it's not true?
> 
> 
> Well, reading http://caml.inria.fr/pub/docs/manual-ocaml/libref/Unix.html I see:
> Interface to the Unix system
> 
> It seems pretty clear to me...

There is a list of Unix functions that are not implemented on Windows here:
http://caml.inria.fr/pub/docs/manual-ocaml/manual036.html

--Edwin