blob: 77e2ca3bfb009f08a1f72ec4bd6abff2fb3e6300 (
plain)
1
2
3
4
5
6
7
8
|
tcfail170.hs:7:10: error:
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]’
Un-determined variable: q
In the instance declaration for ‘C [p] [q]’
|