diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-07-11 13:59:07 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-11 14:34:09 -0400 |
| commit | ba46e63f3d6f7d0438a0262f6711f8a219c703bc (patch) | |
| tree | 8ccb4f26558567381ef3355d9f4073f5aba9a16e /testsuite/tests/typecheck/should_fail/tcfail053.stderr | |
| parent | ea751248d80efe7633a31120da56e9a31b6820ff (diff) | |
| download | haskell-ba46e63f3d6f7d0438a0262f6711f8a219c703bc.tar.gz | |
Fix #13948 by being pickier about when to suggest DataKinds
Commit 343cb32d0983f576d344a2d04a35c3fd6eecf2c5 (#13568) made GHC a bit
too cavalier in suggesting when data constructors are in scope (and
suggesting the use of `DataKinds`). This tones down the suggestions so
that `DataKinds` is only suggested if a data constructor of that name is
actually in scope (previously, it would always suggest, even if it was
out of scope).
Fixes #13948.
Test Plan: ./validate
Reviewers: mpickering, austin, bgamari
Reviewed By: mpickering
Subscribers: rwbarton, thomie
GHC Trac Issues: #13948
Differential Revision: https://phabricator.haskell.org/D3719
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail053.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail053.stderr | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail053.stderr b/testsuite/tests/typecheck/should_fail/tcfail053.stderr index edd1537b14..75308e5fca 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail053.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail053.stderr @@ -1,4 +1,3 @@ tcfail053.hs:3:12: error: Not in scope: type constructor or class ‘A’ - A data constructor of that name is in scope; did you mean DataKinds? |