blob: ee6fe36e86e2d941e459451dcc22a832239dbc37 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE DeriveDataTypeable #-}
module T3983_Bar where
import Data.Dynamic
import Control.Exception
import Control.Monad (unless)
type Assertion = IO ()
data X = X String deriving (Show, Typeable)
instance Exception X
throwX = throw.X
catchX action = do { action; return True; } `catches` [Handler (\(X _) -> return False)]
|