diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-15 16:56:51 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-15 21:19:21 -0400 |
| commit | 5d98b8bf249fab9bb0be6c5d4e8ddd4578994abb (patch) | |
| tree | fe9ffb3982f7a1b7b631d7661d4a9eb62ef2488d /testsuite/tests/polykinds | |
| parent | f602f4a6fbf40d1a3c3c02294e90fcb2d5866d04 (diff) | |
| download | haskell-5d98b8bf249fab9bb0be6c5d4e8ddd4578994abb.tar.gz | |
Clean up some pretty-printing in errors.
It turns out that there were some pretty egregious mistakes
in the code that suggested -fprint-explicit-kinds, which are
fixed. This commit also reorders a bunch of error messages,
which I think is an improvement.
This also adds the test case for #11471, which is what
triggered the cleanup in TcErrors. Now that #11473 is done,
there is nothing more outstanding for #11471.
test case: dependent/should_fail/T11471
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T9144.stderr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T9144.stderr b/testsuite/tests/polykinds/T9144.stderr index b62d1f175d..5db0260fc9 100644 --- a/testsuite/tests/polykinds/T9144.stderr +++ b/testsuite/tests/polykinds/T9144.stderr @@ -3,6 +3,7 @@ T9144.hs:34:26: error: • Couldn't match type ‘Integer’ with ‘FooTerm’ Expected type: DemoteRep 'KProxy Actual type: DemoteRep 'KProxy + Use -fprint-explicit-kinds to see the kind arguments • In the first argument of ‘toSing’, namely ‘n’ In the expression: toSing n In the expression: |