blob: 3c91db5cfbf0fa9652d97b28e6135edf10f0715f (
plain)
1
2
3
4
5
6
7
8
9
|
T10570.hs:10:10: error:
• Illegal instance declaration for ‘ConsByIdx2 Int a Proxy cls’
The coverage condition fails in class ‘ConsByIdx2’
for functional dependency: ‘x -> m’
Reason: lhs type ‘Int’ does not determine rhs type ‘Proxy’
Un-determined variable: k
Use -fprint-explicit-kinds to see the kind arguments
• In the instance declaration for ‘ConsByIdx2 Int a Proxy cls’
|
