Commit 4bdbdd1b authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Better fundep error message

parent bd0c9005
tcfail170.hs:7:10:
Illegal instance declaration for ‛C [p] [q]’
The coverage condition fails for functional dependency: ‛a -> b’
Reason: ‛[p]’ do not jointly determine ‛[q]’
Using UndecidableInstances might help
In the instance declaration for ‛C [p] [q]’
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 deternine rhs type ‛[q]’
In the instance declaration for ‛C [p] [q]’
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment