testsuite/tests/typecheck/should_fail/tcfail170.stderr


1
2
3
4
5
6


tcfail170.hs:7:10:
    Illegal instance declaration for `C [p] [q]'
        (the Coverage Condition fails for one of the functional dependencies;
         Use -XUndecidableInstances to permit this)
    In the instance declaration for `C [p] [q]'