summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail157.stderr
blob: acdc7df8cf20a36cbf0c3235787fc72b881b28ac (plain)
1
2
3
4
5
6
7
8
9
10
11
12

tcfail157.hs:27:10:
    Variable ‘b’ occurs more often than in the instance head
      in the constraint: E m a b
    (Use UndecidableInstances to permit this)
    In the instance declaration for ‘Foo m (a -> ())’

tcfail157.hs:27:10:
    Variable ‘b’ occurs more often than in the instance head
      in the constraint: Foo m b
    (Use UndecidableInstances to permit this)
    In the instance declaration for ‘Foo m (a -> ())’