summaryrefslogtreecommitdiff
path: root/testsuite/tests/perf
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2017-09-21 17:39:18 +0100
committerSimon Peyton Jones <simonpj@microsoft.com>2017-09-25 14:01:15 +0100
commit1b476ab55be6c2c553988cc63d8e0c5473136275 (patch)
tree3fcf1a41488ab6354dac819c280539046e763c25 /testsuite/tests/perf
parent3b4833a22596922d5e7a3f0037c960a5e230fb31 (diff)
downloadhaskell-1b476ab55be6c2c553988cc63d8e0c5473136275.tar.gz
Improve type-error reporting
This patch does two things: * When reporting a hole, we now include its kind if the kind is not just '*'. This addresses Trac #14265 * When reporting things like "'a' is a rigid type varaible bound by ...", this patch arranges to group the type variables together, so we don't repeat the "bound by..." stuff endlessly
Diffstat (limited to 'testsuite/tests/perf')
-rw-r--r--testsuite/tests/perf/compiler/T13035.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/perf/compiler/T13035.stderr b/testsuite/tests/perf/compiler/T13035.stderr
index 52836d7e3c..fe1f0b2564 100644
--- a/testsuite/tests/perf/compiler/T13035.stderr
+++ b/testsuite/tests/perf/compiler/T13035.stderr
@@ -1,4 +1,4 @@
T13035.hs:141:28: warning: [-Wpartial-type-signatures (in -Wdefault)]
- • Found type wildcard ‘_’ standing for ‘'['Author]’
+ • Found type wildcard ‘_’ standing for ‘'['Author] :: [Fields]’
• In the type signature: g :: MyRec RecipeFormatter _