X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Flib%2Fstd%2FPrelException.lhs;fp=ghc%2Flib%2Fstd%2FPrelException.lhs;h=1f317aa06dc08cff9942c76ebde2ed88b92cf9fd;hb=bb864806cef069b0bba9fbaa92b4135f99041dcd;hp=f3d435ef19ffcd8f5dc98567bbbdef3ce6c00dfb;hpb=940841711bb0c30326a5173d8107c2792919641c;p=ghc-hetmet.git

diff --git a/ghc/lib/std/PrelException.lhs b/ghc/lib/std/PrelException.lhs
index f3d435e..1f317aa 100644
--- a/ghc/lib/std/PrelException.lhs
+++ b/ghc/lib/std/PrelException.lhs
@@ -1,5 +1,5 @@
 % -----------------------------------------------------------------------------
-% $Id: PrelException.lhs,v 1.14 2000/03/23 17:45:31 simonpj Exp $
+% $Id: PrelException.lhs,v 1.15 2000/04/10 13:18:13 simonpj Exp $
 %
 % (c) The GRAP/AQUA Project, Glasgow University, 1998
 %
@@ -13,6 +13,7 @@ Exceptions and exception-handling functions.
 module PrelException where
 
 import PrelBase
+import PrelMaybe
 import PrelShow
 import PrelIOBase
 import PrelST 		( STret(..) )
@@ -21,8 +22,11 @@ import PrelGHC
 #endif
 \end{code}
 
------------------------------------------------------------------------------
-Exception datatype and operations.
+%*********************************************************
+%*							*
+\subsection{Exception datatype and operations}
+%*							*
+%*********************************************************
 
 \begin{code}
 data Exception
@@ -88,9 +92,16 @@ instance Show Exception where
   showsPrec _ (PutFullMVar)		 = showString "putMVar: full MVar"
   showsPrec _ (BlockedOnDeadMVar)	 = showString "thread blocked indefinitely"
   showsPrec _ (NonTermination)           = showString "<<loop>>"
+\end{code}
+
 
--- Primitives:
+%*********************************************************
+%*							*
+\subsection{Primitive catch and throw}
+%*							*
+%*********************************************************
 
+\begin{code}
 throw :: Exception -> a
 
 #ifdef __HUGS__
@@ -132,6 +143,48 @@ catchNonIO m k	=  catchException m handler
 \end{code}
 
 
+%*********************************************************
+%*							*
+\subsection{Try and bracket}
+%*							*
+%*********************************************************
+
+The construct @try comp@ exposes errors which occur within a
+computation, and which are not fully handled.  It always succeeds.
+
+\begin{code}
+try            :: IO a -> IO (Either IOError a)
+try f          =  catch (do r <- f
+                            return (Right r))
+                        (return . Left)
+
+bracket        :: IO a -> (a -> IO b) -> (a -> IO c) -> IO c
+bracket before after m = do
+        x  <- before
+        rs <- try (m x)
+        after x
+        case rs of
+           Right r -> return r
+           Left  e -> ioError e
+
+-- variant of the above where middle computation doesn't want x
+bracket_        :: IO a -> (a -> IO b) -> IO c -> IO c
+bracket_ before after m = do
+         x  <- before
+         rs <- try m
+         after x
+         case rs of
+            Right r -> return r
+            Left  e -> ioError e
+\end{code}
+
+
+%*********************************************************
+%*							*
+\subsection{ioError}
+%*							*
+%*********************************************************
+
 Why is this stuff here?  To avoid recursive module dependencies of
 course.