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/gadt7.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/gadt7.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt7.stderr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/gadt7.stderr b/testsuite/tests/gadt/gadt7.stderr index 4ce8ad475c..3fb4a6a72d 100644 --- a/testsuite/tests/gadt/gadt7.stderr +++ b/testsuite/tests/gadt/gadt7.stderr @@ -11,6 +11,7 @@ gadt7.hs:16:38: the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1 ‘t’ is a rigid type variable bound by the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1 + Possible fix: add a type signature for ‘i1b’ Relevant bindings include y1 :: t1 (bound at gadt7.hs:16:16) y :: t1 (bound at gadt7.hs:16:7) |