From 7dfe4a22aa6a2c598b1496c661c7d532aaafa94f Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 24 Jun 2010 13:05:06 +0000 Subject: [PATCH] correct docs for exitWith: only stdout/stderr are flushed, not all Handles --- System/Exit.hs | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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'. -- 1.7.10.4