testsuite/tests/typecheck/should_fail/tcfail213.stderr


1
2
3
4
5
6
7


tcfail213.hs:8:1:
    Illegal constraint ‘F a’ in a superclass/instance context
      (Use UndecidableInstances to permit this)
    In the context: (F a)
    While checking the super-classes of class ‘C’
    In the class declaration for ‘C’