Add "quantified constraint" context in error message, fix #15231.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail157.stderr
1
2 tcfail157.hs:27:10: error:
3     • Variable ‘b’ occurs more often
4         in the constraint ‘E m a b’
5         than in the instance head ‘Foo m (a -> ())’
6       (Use UndecidableInstances to permit this)
7     • In the instance declaration for ‘Foo m (a -> ())’
8
9 tcfail157.hs:27:10: error:
10     • Variable ‘b’ occurs more often
11         in the constraint ‘Foo m b’
12         than in the instance head ‘Foo m (a -> ())’
13       (Use UndecidableInstances to permit this)
14     • In the instance declaration for ‘Foo m (a -> ())’