Refactor tuple constraints
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail157.stderr
1 \r
2 tcfail157.hs:27:10: error:\r
3     Variable ‘b’ occurs more often\r
4       in the constraint ‘E m a b’ than in the instance head\r
5     (Use UndecidableInstances to permit this)\r
6     In the instance declaration for ‘Foo m (a -> ())’\r
7 \r
8 tcfail157.hs:27:10: error:\r
9     Variable ‘b’ occurs more often\r
10       in the constraint ‘Foo m b’ than in the instance head\r
11     (Use UndecidableInstances to permit this)\r
12     In the instance declaration for ‘Foo m (a -> ())’\r