diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-07-10 16:24:46 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-07-10 16:31:14 +0100 |
| commit | 2d06a9f19d5b3ab8c3ff0b24f508c15bedae99d2 (patch) | |
| tree | 137d6b38788bd86a08b4085ea94d0ae729bfafc8 /testsuite/tests/polykinds/T10570.stderr | |
| parent | 888026dba01279dd6de5216856c81432836abaf1 (diff) | |
| download | haskell-2d06a9f19d5b3ab8c3ff0b24f508c15bedae99d2.tar.gz | |
Improve error message for fundeps
Improve error message fundeps, especially when PolyKinds means that
the un-determined variables are (invisible) kind variables.
See Trac #10570.
Diffstat (limited to 'testsuite/tests/polykinds/T10570.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T10570.stderr | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T10570.stderr b/testsuite/tests/polykinds/T10570.stderr new file mode 100644 index 0000000000..f40ed10ce4 --- /dev/null +++ b/testsuite/tests/polykinds/T10570.stderr @@ -0,0 +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’ |