Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail005.stderr
1
2 tcfail005.hs:3:9: error:
3     • Couldn't match expected type ‘[a]’
4                   with actual type ‘(Integer, Char)’
5     • In the expression: (1, 'a')
6       In a pattern binding: (h : i) = (1, 'a')
7     • Relevant bindings include
8         h :: a (bound at tcfail005.hs:3:2)
9         i :: [a] (bound at tcfail005.hs:3:4)