testsuite/tests/typecheck/should_fail/tcfail170.stderr


1
2
3
4
5
6
7


tcfail170.hs:7:10:
    Illegal instance declaration for ‘C [p] [q]’
      The coverage condition fails in class ‘C’
        for functional dependency: ‘a -> b’
      Reason: lhs type ‘[p]’ does not determine rhs type ‘[q]’
    In the instance declaration for ‘C [p] [q]’