diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-09-21 17:39:18 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-09-25 14:01:15 +0100 |
commit | 1b476ab55be6c2c553988cc63d8e0c5473136275 (patch) | |
tree | 3fcf1a41488ab6354dac819c280539046e763c25 /testsuite/tests/ghci/scripts/T10248.stderr | |
parent | 3b4833a22596922d5e7a3f0037c960a5e230fb31 (diff) | |
download | haskell-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/ghci/scripts/T10248.stderr')
-rw-r--r-- | testsuite/tests/ghci/scripts/T10248.stderr | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/testsuite/tests/ghci/scripts/T10248.stderr b/testsuite/tests/ghci/scripts/T10248.stderr index e1ca96c63f..283ccdddc4 100644 --- a/testsuite/tests/ghci/scripts/T10248.stderr +++ b/testsuite/tests/ghci/scripts/T10248.stderr @@ -1,10 +1,7 @@ <interactive>:2:10: error: • Found hole: _ :: f a - Where: ‘f’ is a rigid type variable bound by - the inferred type of it :: Functor f => f (Maybe a) - at <interactive>:2:1-10 - ‘a’ is a rigid type variable bound by + Where: ‘f’, ‘a’ are rigid type variables bound by the inferred type of it :: Functor f => f (Maybe a) at <interactive>:2:1-10 • In the second argument of ‘(<$>)’, namely ‘_’ |