diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-04-08 17:37:45 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-04-08 17:37:59 +0100 |
| commit | 50bfd4219157473fac47c70993fc2023a162a7f3 (patch) | |
| tree | 13259e4066e4a22f5518256eca36e335938e4ee4 /testsuite/tests/gadt/gadt-escape1.stderr | |
| parent | cc3ccf9f47c7f4684cdd2b08d0e2acf50b69bc18 (diff) | |
| download | haskell-50bfd4219157473fac47c70993fc2023a162a7f3.tar.gz | |
Improve error reporting for untouchable type variables
This change adds a suggestion
Possible fix: add a type signature for ‘f’
when we have a GADT-style definition with a
type we can't figure out.
See Note [Suggest adding a type signature] in TcErrors.
This initially came up in the discussion of Trac #8968.
Diffstat (limited to 'testsuite/tests/gadt/gadt-escape1.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt-escape1.stderr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/gadt-escape1.stderr b/testsuite/tests/gadt/gadt-escape1.stderr index 1ec5ea8515..35d1bf44d4 100644 --- a/testsuite/tests/gadt/gadt-escape1.stderr +++ b/testsuite/tests/gadt/gadt-escape1.stderr @@ -9,6 +9,7 @@ gadt-escape1.hs:19:58: at gadt-escape1.hs:19:43-50 ‘t’ is a rigid type variable bound by the inferred type of weird1 :: t at gadt-escape1.hs:19:1 + Possible fix: add a type signature for ‘weird1’ Expected type: t Actual type: ExpGADT t1 Relevant bindings include |