X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Control%2FException.hs;h=ec06bf4f4e22f52da10876eb286eca036240f06f;hb=30464c0cb915c2ae900909568fa8677bba341e45;hp=ee063de8848df7eee72307c227638eda6cff8722;hpb=2570f264ed329f04017d507250494eb0ab680d64;p=haskell-directory.git

diff --git a/Control/Exception.hs b/Control/Exception.hs
index ee063de..ec06bf4 100644
--- a/Control/Exception.hs
+++ b/Control/Exception.hs
@@ -11,6 +11,18 @@
 -- This module provides support for raising and catching both built-in
 -- and user-defined exceptions.
 --
+-- In addition to exceptions thrown by 'IO' operations, exceptions may
+-- be thrown by pure code (imprecise exceptions) or by external events
+-- (asynchronous exceptions), but may only be caught in the 'IO' monad.
+-- For more details, see:
+--
+--  * /A semantics for imprecise exceptions/, by Simon Peyton Jones,
+--    Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson,
+--    in /PLDI'99/.
+--
+--  * /Asynchronous exceptions in Haskell/, by Simon Marlow, Simon Peyton
+--    Jones, Andy Moran and John Reppy, in /PLDI'01/.
+--
 -----------------------------------------------------------------------------
 
 module Control.Exception (