testsuite/tests/typecheck/should_fail/tcfail070.stderr


1
2
3
4
5
6


tcfail070.hs:15:15:
    Expecting one fewer argument to ‘[Int]’
    Expected kind ‘* -> k0’, but ‘[Int]’ has kind ‘*’
    In the type ‘[Int] Bool’
    In the type declaration for ‘State’