Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail113.stderr
1
2 tcfail113.hs:12:7: error:
3     • Expecting one more argument to ‘Maybe’
4       Expected a type, but ‘Maybe’ has kind ‘* -> *’
5     • In the type signature:
6         f :: [Maybe]
7
8 tcfail113.hs:15:8: error:
9     • Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
10     • In the first argument of ‘T’, namely ‘Int’
11       In the type signature:
12         g :: T Int
13
14 tcfail113.hs:18:6: error:
15     • Expecting one fewer arguments to ‘Int’
16       Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
17     • In the type signature:
18         h :: Int Int