40e566b3ec517add8a9eb2a0d76b6f12435ae177
[ghc.git] / testsuite / tests / indexed-types / should_fail / T12867.stderr
1
2 T12867.hs:7:21: error:
3     • Expecting one fewer arguments to ‘TestM’
4       Expected kind ‘k0 -> *’, but ‘TestM’ has kind ‘*’
5     • In the first argument of ‘Eq’, namely ‘(TestM a)’
6       In the type ‘(Eq (TestM a))’
7       In the type declaration for ‘Test2’
8
9 T12867.hs:9:1: error:
10     • The associated type ‘TestM’
11       mentions none of the type or kind variables of the class ‘Test a’
12     • In the class declaration for ‘Test’