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

fd-loop.hs:12:10:
    Variable occurs more often in a constraint than in the instance head
      in the constraint: C a b
    (Use -XUndecidableInstances to permit this)
    In the instance declaration for `Eq (T a)'

fd-loop.hs:12:10:
    Variable occurs more often in a constraint than in the instance head
      in the constraint: Eq b
    (Use -XUndecidableInstances to permit this)
    In the instance declaration for `Eq (T a)'