From 67b3443720b8dd58472cb92bc167adc97b935da4 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Tue, 7 Aug 2007 19:31:39 +0000
Subject: Add blurb in the user guide re stdout buffering differing between GHC
 and GHCi

---
 docs/users_guide/ghci.xml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'docs')

diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index c0167bfe09..86bfa8fc0c 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -2587,6 +2587,18 @@ Prelude> :set -fno-glasgow-exts
           <para>See <xref linkend="ghci-windows"/>.</para>
         </listitem>
       </varlistentry>
+
+      <varlistentry>
+	<term>The default buffering mode is different in GHCi to GHC.</term>
+        <listitem>
+          <para>
+            In GHC, the stdout handle is line-buffered by default.
+            However, in GHCi we turn off the buffering on stdout,
+            because this is normally what you want in an interpreter:
+            output appears as it is generated.
+          </para>
+        </listitem>
+      </varlistentry>
     </variablelist>
   </sect1>
 
-- 
cgit v1.2.1