From 213302cbca9874b28da94093b712189ac4b599cc Mon Sep 17 00:00:00 2001 From: stolz Date: Fri, 26 Jul 2002 10:05:05 +0000 Subject: [PATCH] [project @ 2002-07-26 10:05:04 by stolz] Add some references. Requires upgrade to current haddock version (>2002-7-25)! --- Control/Exception.hs | 4 ++-- GHC/IOBase.lhs | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Control/Exception.hs b/Control/Exception.hs index be7595e..85163b3 100644 --- a/Control/Exception.hs +++ b/Control/Exception.hs @@ -260,7 +260,7 @@ tryJust p a = do -- Dynamic exceptions -- $dynamic --- Because the 'Exception' datatype is not extensible, there is an +-- #DynamicExceptions# Because the 'Exception' datatype is not extensible, there is an -- interface for throwing and catching exceptions of type 'Dynamic' -- (see "Data.Dynamic") which allows exception values of any type in -- the 'Typeable' class to be thrown and caught. @@ -393,7 +393,7 @@ bracket_ before after thing = bracket before (const after) (const thing) {- $async -Asynchronous exceptions are so-called because they arise due to + #AsynchronousExceptions# Asynchronous exceptions are so-called because they arise due to external influences, and can be raised at any point during execution. 'StackOverflow' and 'HeapOverflow' are two examples of system-generated asynchronous exceptions. diff --git a/GHC/IOBase.lhs b/GHC/IOBase.lhs index 975bc79..32beb1b 100644 --- a/GHC/IOBase.lhs +++ b/GHC/IOBase.lhs @@ -445,7 +445,7 @@ showHandle p h duplex = -- |The type of exceptions. Every kind of system-generated exception -- has a constructor in the 'Exception' type, and values of other -- types may be injected into 'Exception' by coercing them to --- 'Dynamic' (see the section on Dynamic Exceptions). +-- 'Dynamic' (see the section on Dynamic Exceptions: "Control.Exception\#DynamicExceptions"). -- -- For backwards compatibility with Haskell 98, 'IOError' is a type synonym -- for 'Exception'. @@ -464,7 +464,7 @@ data Exception -- fails. The 'String' argument contains the -- location of the assertion in the source program. | AsyncException AsyncException - -- ^Asynchronous exceptions (see section on Asynchronous Exceptions). + -- ^Asynchronous exceptions (see section on Asynchronous Exceptions: "Control.Exception\#AsynchronousExceptions"). | BlockedOnDeadMVar -- ^The current thread was executing a call to -- 'takeMVar' that could never return, because there are no other @@ -474,7 +474,7 @@ data Exception -- deadlocked. The 'Deadlock' exception is -- raised in the main thread only (see also: "Control.Concurrent"). | DynException Dynamic - -- ^Dynamically typed exceptions (see section on Dynamic Exceptions). + -- ^Dynamically typed exceptions (see section on Dynamic Exceptions: "Control.Exception\#DynamicExceptions"). | ErrorCall String -- ^The 'ErrorCall' exception is thrown by 'error'. The 'String' -- argument of 'ErrorCall' is the string passed to 'error' when it was -- 1.7.10.4