Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / simplCore / should_run / T3983_Bar.hs
1 {-# LANGUAGE DeriveDataTypeable #-}
2 module T3983_Bar where
3 import Data.Dynamic
4 import Control.Exception
5 import Control.Monad (unless)
6
7 type Assertion = IO ()
8
9 data X = X String deriving (Show, Typeable)
10
11 instance Exception X
12
13 throwX = throw.X
14
15 catchX action = do { action; return True; } `catches` [Handler (\(X _) -> return False)]