path: root/testsuite/tests/typecheck/should_fail/tcfail070.stderr

tcfail070.hs:15:15:
    `[Int]' is applied to too many type arguments
    In the type `[Int] Bool'
    In the type declaration for `State'