summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail216.stderr
blob: 520f5590dd76724d1dc76e95feac96700579b3c8 (plain)
1
2
3
4
5
6
7

tcfail216.hs:4:1: error:
    • Potential superclass cycle for ‘A’
        one of whose superclass constraints is headed by a type variable:
          ‘cls (A cls)’
      Use UndecidableSuperClasses to accept this
    • In the class declaration for ‘A’