From ce209f1bedcb95ee7331995ef8910bd19c3efe04 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Wed, 14 Jul 2010 11:08:29 +0000
Subject: [PATCH] clarify exception-overriding behaviour of withFile

---
 report/libs/System-IO.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/report/libs/System-IO.tex b/report/libs/System-IO.tex
index 04f8ef4..1d15c3a 100644
--- a/report/libs/System-IO.tex
+++ b/report/libs/System-IO.tex
@@ -151,7 +151,9 @@ withFile\ ::\ FilePath\ ->\ IOMode\ ->\ (Handle\ ->\ IO\ r)\ ->\ IO\ r
 \haddocktt{withFile\ name\ mode\ act} opens a file using \haddockid{openFile} and passes
  the resulting handle to the computation \haddocktt{act}.  The handle will be
  closed on exit from \haddockid{withFile}, whether by normal termination or by
- raising an exception.
+ raising an exception.  If closing the handle raises an exception, then
+ this exception will be raised by \haddockid{withFile} rather than any exception
+ raised by \haddocktt{act}.
 \par
 
 \end{haddockdesc}
-- 
GitLab