--
-----------------------------------------------------------------------------
-module Control.OldException (
+module Control.OldException {-# DEPRECATED "Future versions of base will not support the old exceptions style. Please switch to extensible exceptions." #-} (
-- * The Exception type
Exception(..), -- instance Eq, Ord, Show, Typeable
import GHC.Base
import GHC.Num
import GHC.Show
-import GHC.IOBase ( IO )
-import qualified GHC.IOBase as New
+-- import GHC.IO ( IO )
+import GHC.IO.Handle.FD ( stdout )
+import qualified GHC.IO as New
+import qualified GHC.IO.Exception as New
import GHC.Conc hiding (setUncaughtExceptionHandler,
getUncaughtExceptionHandler)
import Data.IORef ( IORef, newIORef, readIORef, writeIORef )
import Foreign.C.String ( CString, withCString )
-import GHC.Handle ( stdout, hFlush )
+import GHC.IO.Handle ( hFlush )
#endif
#ifdef __HUGS__
a <- before
r <- catch
(unblock (thing a))
- (\e -> do { after a; throw e })
- after a
+ (\e -> do { _ <- after a; throw e })
+ _ <- after a
return r
)
#endif
block (do
r <- catch
(unblock a)
- (\e -> do { sequel; throw e })
- sequel
+ (\e -> do { _ <- sequel; throw e })
+ _ <- sequel
return r
)
a <- before
catch
(unblock (thing a))
- (\e -> do { after a; throw e })
+ (\e -> do { _ <- after a; throw e })
)
-- -----------------------------------------------------------------------------
Just exc -> Just (f exc)
_ -> e
casters =
- [Caster (\e -> e),
- Caster (\exc -> ArithException exc),
+ [Caster (\exc -> ArithException exc),
Caster (\exc -> ArrayException exc),
Caster (\(New.AssertionFailed err) -> AssertionFailed err),
Caster (\exc -> AsyncException exc),
- Caster (\New.BlockedOnDeadMVar -> BlockedOnDeadMVar),
- Caster (\New.BlockedIndefinitely -> BlockedIndefinitely),
+ Caster (\New.BlockedIndefinitelyOnMVar -> BlockedOnDeadMVar),
+ Caster (\New.BlockedIndefinitelyOnSTM -> BlockedIndefinitely),
Caster (\New.NestedAtomically -> NestedAtomically),
Caster (\New.Deadlock -> Deadlock),
Caster (\exc -> DynException exc),
Caster (\(New.PatternMatchFail err) -> PatternMatchFail err),
Caster (\(New.RecConError err) -> RecConError err),
Caster (\(New.RecSelError err) -> RecSelError err),
- Caster (\(New.RecUpdError err) -> RecUpdError err)]
+ Caster (\(New.RecUpdError err) -> RecUpdError err),
+ -- Anything else gets taken as a Dynamic exception. It's
+ -- important that we put all exceptions into the old Exception
+ -- type somehow, or throwing a new exception wouldn't cause
+ -- the cleanup code for bracket, finally etc to happen.
+ Caster (\exc -> DynException (toDyn (exc :: New.SomeException)))]
-- Unbundle exceptions.
toException (ArithException exc) = toException exc
toException (ArrayException exc) = toException exc
toException (AssertionFailed err) = toException (New.AssertionFailed err)
toException (AsyncException exc) = toException exc
- toException BlockedOnDeadMVar = toException New.BlockedOnDeadMVar
- toException BlockedIndefinitely = toException New.BlockedIndefinitely
+ toException BlockedOnDeadMVar = toException New.BlockedIndefinitelyOnMVar
+ toException BlockedIndefinitely = toException New.BlockedIndefinitelyOnSTM
toException NestedAtomically = toException New.NestedAtomically
toException Deadlock = toException New.Deadlock
- toException (DynException exc) = toException exc
+ -- If a dynamic exception is a SomeException then resurrect it, so
+ -- that bracket, catch+throw etc rethrow the same exception even
+ -- when the exception is in the new style.
+ -- If it's not a SomeException, then just throw the Dynamic.
+ toException (DynException exc) = case fromDynamic exc of
+ Just exc' -> exc'
+ Nothing -> toException exc
toException (ErrorCall err) = toException (New.ErrorCall err)
toException (ExitException exc) = toException exc
toException (IOException exc) = toException exc
showsPrec _ (AssertionFailed err) = showString err
showsPrec _ (DynException err) = showString "exception :: " . showsTypeRep (dynTypeRep err)
showsPrec _ (AsyncException e) = shows e
- showsPrec p BlockedOnDeadMVar = showsPrec p New.BlockedOnDeadMVar
- showsPrec p BlockedIndefinitely = showsPrec p New.BlockedIndefinitely
+ showsPrec p BlockedOnDeadMVar = showsPrec p New.BlockedIndefinitelyOnMVar
+ showsPrec p BlockedIndefinitely = showsPrec p New.BlockedIndefinitelyOnSTM
showsPrec p NestedAtomically = showsPrec p New.NestedAtomically
showsPrec p NonTermination = showsPrec p New.NonTermination
showsPrec p Deadlock = showsPrec p New.Deadlock