From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@inria.fr>
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 542107EF53
	for <caml-list@sympa.inria.fr>; Mon, 24 Aug 2015 14:19:21 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.15,737,1432591200"; 
   d="scan'208";a="143641897"
Received: from pl-59055.rocqadm.inria.fr ([128.93.59.55])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 24 Aug 2015 14:19:21 +0200
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.86)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1ZTqie-0000Rm-Uo
	for caml-list@inria.fr; Mon, 24 Aug 2015 14:19:20 +0200
Date: Mon, 24 Aug 2015 14:19:20 +0200
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20150824121920.GE1536@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: caml-list@inria.fr
References: <20150823021901.Horde.g_vEwwFL7xNJIFXFf3LPIcu@webmail.in-berlin.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <20150823021901.Horde.g_vEwwFL7xNJIFXFf3LPIcu@webmail.in-berlin.de>
Subject: Re: [Caml-list] Setting Pervasive's stderr to unbuffered as
 default?

Hi,

Oliver Bandel (2015/08/23 02:19 +0200):
> Hello,
> 
> stderr on Unix is unbuffered by default.
> 
> In OCaml, all the Channels from Pervasives are buffered by default,
> and flush-function must be used.
> This issue is annoying me since ages...

[...]

I'd also prefer an unbuffered stderr, finding it more intuitive.

Thanks for havign mentionned that,
Sébastien.