From: simonmar <unknown>
Date: Tue, 21 Oct 2003 11:25:40 +0000 (+0000)
Subject: [project @ 2003-10-21 11:25:40 by simonmar]
X-Git-Tag: Approx_11550_changesets_converted~349
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=629f02244a03199f43b86a3d6080c1e48eb03348;p=ghc-hetmet.git

[project @ 2003-10-21 11:25:40 by simonmar]
Add a FAQ entry for Ctrl-D and EOF.
---

diff --git a/ghc/docs/users_guide/faq.sgml b/ghc/docs/users_guide/faq.sgml
index 0c274d7..f9b27ab 100644
--- a/ghc/docs/users_guide/faq.sgml
+++ b/ghc/docs/users_guide/faq.sgml
@@ -323,6 +323,23 @@ details.</para>
       </listitem>
     </varlistentry>
 
+    <varlistentry> 
+
+      <term>If I explicitely set the buffering on a Handle to
+      "NoBuffering" I'm not able to > enter EOF by typing
+      "Ctrl-D".</term>
+
+      <listitem>
+	<para>This is a consequence of Unixy terminal semantics.  Unix
+        does line buffering on terminals in the kernel as part of the
+        terminal processing, unless you turn it off.  However, the
+        Ctrl-D processing is also part of the terminal processing
+        which gets turned off when the kernel line buffering is
+        disabled.  So GHC tries its best to get NoBuffering semantics
+        by turning off the kernel line buffering, but as a result you
+        lose Ctrl-D.  C'est la vie.</para>
+      </listitem>
+    </varlistentry>
   </variablelist>
 </chapter>