testsuite/tests/typecheck/should_fail/tcfail087.stderr


1
2
3
4
5
6
7


tcfail087.hs:6:14:
    Kind mis-match
    Expected kind `ArgKind', but `(# Int, Int #)' has kind `(#)'
    In the type `(# Int, Int #)'
    In the definition of data constructor `Ex'
    In the data type declaration for `Ex'