From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id F3542BC69 for ; Thu, 2 Aug 2007 23:47:10 +0200 (CEST) Received: from mx1.polytechnique.org (mx1.polytechnique.org [129.104.30.34]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l72LlAJi024195 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Thu, 2 Aug 2007 23:47:10 +0200 Received: from alexandre.pilkiewicz?polytechnique.org (SEASNet-38-026.seas.upenn.edu [158.130.38.35]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTP id EE05333183 for ; Thu, 2 Aug 2007 23:47:09 +0200 (CEST) From: Alexandre Pilkiewicz To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Buffered input channel Date: Thu, 2 Aug 2007 17:46:52 -0400 User-Agent: KMail/1.9.7 References: <200708021651.57115.alexandre.pilkiewicz@polytechnique.org> <20070803070922.c250d137.mle+ocaml@mega-nerd.com> In-Reply-To: <20070803070922.c250d137.mle+ocaml@mega-nerd.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200708021746.52887.alexandre.pilkiewicz@polytechnique.org> X-AV-Checked: ClamAV using ClamSMTP at djali.polytechnique.org (Thu Aug 2 23:47:10 2007 +0200 (CEST)) X-Org-Mail: alexandre.pilkiewicz.2004@polytechnique.org X-Miltered: at discorde with ID 46B250DE.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; buffered:01 pervasives:01 buffered:01 4096:01 pervasives:01 wong:98 char:01 wrote:01 caml-list:01 alain:01 module:03 module:03 erik:04 size:95 problem:05 On Thursday 02 August 2007 17:09:22 Erik de Castro Lopo wrote: > Is there anything wong with open_in, input_char, pos_in, seek_in and > close_in of the Pervasives module? Well, I thought the problem was with the buffering, but as Alain made me realise, the standard input channels are buffered (of size 4096 if I understand well what I read). The documentation wasn't really clear at this subject (at least not the description of the Pervasives module), and I had not enough courage to read the C code of the implementation. I should. So my very bad performances don't come from there ! Thanks for the very quick answers Alexandre