Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail118.stderr
1
2 tcfail118.hs:10:29:
3     Overlapping instances for Eq Foo
4       arising from the first field of ‘Bar’ (type ‘Foo’)
5     Matching instances:
6       instance Eq Foo -- Defined at tcfail118.hs:11:25
7       instance Eq Foo -- Defined at tcfail118.hs:13:10
8     When deriving the instance for (Eq Bar)