Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / rw.stderr
1
2 rw.hs:14:47:
3     Couldn't match expected type ‘a’ with actual type ‘Int’
4       ‘a’ is a rigid type variable bound by
5           the type signature for: writeInt :: T a -> IORef a -> IO ()
6           at rw.hs:12:12
7     Relevant bindings include
8       ref :: IORef a (bound at rw.hs:13:12)
9       v :: T a (bound at rw.hs:13:10)
10       writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1)
11     In the second argument of ‘writeIORef’, namely ‘(1 :: Int)’
12     In the expression: writeIORef ref (1 :: Int)
13     In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int)
14
15 rw.hs:19:51:
16     Couldn't match type ‘a’ with ‘Bool’
17       ‘a’ is a rigid type variable bound by
18           the type signature for: readBool :: T a -> IORef a -> IO ()
19           at rw.hs:16:12
20     Expected type: a -> Bool
21       Actual type: Bool -> Bool
22     Relevant bindings include
23       ref :: IORef a (bound at rw.hs:17:12)
24       v :: T a (bound at rw.hs:17:10)
25       readBool :: T a -> IORef a -> IO () (bound at rw.hs:17:1)
26     In the second argument of ‘(.)’, namely ‘not’
27     In the second argument of ‘(>>=)’, namely ‘(print . not)’