Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail153.stderr
1
2 tcfail153.hs:6:9: error:
3     • Couldn't match expected type ‘Bool’ with actual type ‘a’
4       ‘a’ is a rigid type variable bound by
5         the type signature for:
6           f :: forall a. a -> [a]
7         at tcfail153.hs:5:1-13
8     • In the first argument of ‘g’, namely ‘x’
9       In the expression: g x
10       In an equation for ‘f’:
11           f x
12             = g x
13             where
14                 g y = if y then [] else [...]
15     • Relevant bindings include
16         x :: a (bound at tcfail153.hs:6:3)
17         f :: a -> [a] (bound at tcfail153.hs:6:1)