Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail153.stderr
1 \r
2 tcfail153.hs:6:7:\r
3     Couldn't match type ‘a’ with ‘Bool’\r
4       ‘a’ is a rigid type variable bound by\r
5           the type signature for: f :: a -> [a] at tcfail153.hs:5:6\r
6     Expected type: [a]\r
7       Actual type: [Bool]\r
8     Relevant bindings include\r
9       x :: a (bound at tcfail153.hs:6:3)\r
10       f :: a -> [a] (bound at tcfail153.hs:6:1)\r
11     In the expression: g x\r
12     In an equation for ‘f’:\r
13         f x\r
14           = g x\r
15           where\r
16               g y = if y then [] else [...]\r