From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 24 Jun 2010 13:05:06 +0000 (+0000)
Subject: correct docs for exitWith: only stdout/stderr are flushed, not all Handles
X-Git-Url: http://git.megacz.com/?p=ghc-base.git;a=commitdiff_plain;h=7dfe4a22aa6a2c598b1496c661c7d532aaafa94f

correct docs for exitWith: only stdout/stderr are flushed, not all Handles
---

diff --git a/System/Exit.hs b/System/Exit.hs
index 6de82c3..3377c52 100644
--- a/System/Exit.hs
+++ b/System/Exit.hs
@@ -44,8 +44,12 @@ import System
 
 -- | Computation 'exitWith' @code@ throws 'ExitCode' @code@.
 -- Normally this terminates the program, returning @code@ to the
--- program's caller.  Before the program terminates, any open or
--- semi-closed handles are first closed.
+-- program's caller.
+--
+-- On program termination, the standard 'Handle's 'stdout' and
+-- 'stderr' are flushed automatically; any other buffered 'Handle's
+-- need to be flushed manually, otherwise the buffered data will be
+-- discarded.
 --
 -- A program that fails in any other way is treated as if it had
 -- called 'exitFailure'.