Commit e8efda20 authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski
Browse files

Wibble after typofix

parent a9363910
...@@ -3,5 +3,5 @@ T2247.hs:6:10: ...@@ -3,5 +3,5 @@ T2247.hs:6:10:
Illegal instance declaration for ‛FD a b’ Illegal instance declaration for ‛FD a b’
The liberal coverage condition fails in class ‛FD’ The liberal coverage condition fails in class ‛FD’
for functional dependency: ‛a -> b’ for functional dependency: ‛a -> b’
Reason: lhs type ‛a’ does not deternine rhs type ‛b’ Reason: lhs type ‛a’ does not determine rhs type ‛b’
In the instance declaration for ‛FD a b’ In the instance declaration for ‛FD a b’
...@@ -3,5 +3,5 @@ tcfail170.hs:7:10: ...@@ -3,5 +3,5 @@ tcfail170.hs:7:10:
Illegal instance declaration for ‛C [p] [q]’ Illegal instance declaration for ‛C [p] [q]’
The coverage condition fails in class ‛C’ The coverage condition fails in class ‛C’
for functional dependency: ‛a -> b’ for functional dependency: ‛a -> b’
Reason: lhs type ‛[p]’ does not deternine rhs type ‛[q]’ Reason: lhs type ‛[p]’ does not determine rhs type ‛[q]’
In the instance declaration for ‛C [p] [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