Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T10836.stderr
1
2 T10836.hs:5:5: error:
3     Type family equations violate injectivity annotation:
4       Foo Int = Int -- Defined at T10836.hs:5:5
5       Foo Bool = Int -- Defined at T10836.hs:6:5
6     In the equations for closed type family ‘Foo’
7     In the type family declaration for ‘Foo’
8
9 T10836.hs:9:5: error:
10     Type family equations violate injectivity annotation:
11       Bar Int = Int -- Defined at T10836.hs:9:5
12       Bar Bool = Int -- Defined at T10836.hs:10:5
13     In the equations for closed type family ‘Bar’
14     In the type family declaration for ‘Bar’