Documentation fixes in Control.Exception

diff --git a/Control/Exception/Base.hs b/Control/Exception/Base.hs
index 4a96992..4c7ce95 100644 (file)
--- a/Control/Exception/Base.hs
+++ b/Control/Exception/Base.hs
@@ -339,8 +339,8 @@ blocked  = return False
 --
 -- Note that we have to give a type signature to @e@, or the program
 -- will not typecheck as the type is ambiguous. While it is possible
--- to catch exceptions of any type, see $catchall for an explanation
--- of the problems with doing so.
+-- to catch exceptions of any type, see the previous section \"Catching all
+-- exceptions \" for an explanation of the problems with doing so.
 --
 -- For catching exceptions in pure (non-'IO') expressions, see the
 -- function 'evaluate'.

diff --git a/GHC/IO/Exception.hs b/GHC/IO/Exception.hs
index ce05a54..b8c9083 100644 (file)
--- a/GHC/IO/Exception.hs
+++ b/GHC/IO/Exception.hs
@@ -64,7 +64,7 @@ blockedIndefinitelyOnMVar = toException BlockedIndefinitelyOnMVar
 
 -----
 
--- |The thread is awiting to retry an STM transaction, but there are no
+-- |The thread is awaiting to retry an STM transaction, but there are no
 -- other references to any @TVar@s involved, so it can't ever continue.
 data BlockedIndefinitelyOnSTM = BlockedIndefinitelyOnSTM
     deriving Typeable
@@ -91,8 +91,7 @@ instance Show Deadlock where
 
 -----
 
--- |There are no runnable threads, so the program is deadlocked.
--- The @Deadlock@ exception is raised in the main thread only.
+-- |'assert' was applied to 'False'.
 data AssertionFailed = AssertionFailed String
     deriving Typeable