Bump `base` version to 4.9.0.0 (closes #11026)
[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
5       Foo Bool = Int
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
12       Bar Bool = Int
13     In the equations for closed type family ‘Bar’
14     In the type family declaration for ‘Bar’