Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.stderr
1
2 T7368a.hs:8:6: error:
3     • Couldn't match kind ‘*’ with ‘* -> *’
4       When matching types
5         f :: * -> *
6         Bad :: (* -> *) -> *
7       Expected type: f (Bad f)
8         Actual type: Bad w0
9     • In the pattern: Bad x
10       In an equation for ‘fun’: fun (Bad x) = True
11     • Relevant bindings include
12         fun :: f (Bad f) -> Bool (bound at T7368a.hs:8:1)