tests: remove extra_files.py (#12223)
[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’