diff options
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T10570.stderr | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/polykinds/T10570.stderr b/testsuite/tests/polykinds/T10570.stderr index f40ed10ce4..3c91db5cfb 100644 --- a/testsuite/tests/polykinds/T10570.stderr +++ b/testsuite/tests/polykinds/T10570.stderr @@ -1,9 +1,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 variables in the types) - In the instance declaration for ‘ConsByIdx2 Int a Proxy cls’ + • 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’ |