Merge branch 'master' of https://github.com/ghc/testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail157.stderr
1 \r
2 tcfail157.hs:27:10:\r
3     Variable `b' occurs more often than in the instance head\r
4       in the constraint: E m a b\r
5     (Use -XUndecidableInstances to permit this)\r
6     In the instance declaration for `Foo m (a -> ())'\r
7 \r
8 tcfail157.hs:27:10:\r
9     Variable `b' occurs more often than in the instance head\r
10       in the constraint: Foo m b\r
11     (Use -XUndecidableInstances to permit this)\r
12     In the instance declaration for `Foo m (a -> ())'\r