Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail070.stderr
1
2 tcfail070.hs:15:15: error:
3     • Expecting one fewer arguments to ‘[Int]’
4       Expected kind ‘* -> k0’, but ‘[Int]’ has kind ‘*’
5     • In the type ‘[Int] Bool’
6       In the type declaration for ‘State’