diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-07-19 15:07:01 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-19 18:02:49 -0400 |
commit | 6e3c901db7a624d030614113c51be5731d1ac862 (patch) | |
tree | 95c95e9924222c933a6f23ec6e2eec860074d82f /testsuite/tests/ghci/scripts/T7873.stderr | |
parent | c940e3b92f4527ca59fcae93f36c869de3e7ccb9 (diff) | |
download | haskell-6e3c901db7a624d030614113c51be5731d1ac862.tar.gz |
Fix #13983 by creating a TyConFlavour type, and using it
An error message was referring to a type synonym as a datatype.
Annoyingly, learning that the TyCon over which the error message is
operating is actually a type synonym was previously impossible, since
that code only had access to a TcTyCon, which doesn't retain any
information about what sort of TyCon it is.
To rectify this, I created a new TyConFlavour datatype, intended to
capture roughly what sort of TyCon we're dealing with. I then performing
the necessary plumbing to ensure all TcTyCons have a TyConFlavour, and
propagated this information through to the relevant error message.
Test Plan: ./validate
Reviewers: goldfire, austin, bgamari, simonpj
Reviewed By: simonpj
Subscribers: simonpj, rwbarton, thomie
GHC Trac Issues: #13983
Differential Revision: https://phabricator.haskell.org/D3747
Diffstat (limited to 'testsuite/tests/ghci/scripts/T7873.stderr')
-rw-r--r-- | testsuite/tests/ghci/scripts/T7873.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/scripts/T7873.stderr b/testsuite/tests/ghci/scripts/T7873.stderr index ad8a55b70a..c218cff153 100644 --- a/testsuite/tests/ghci/scripts/T7873.stderr +++ b/testsuite/tests/ghci/scripts/T7873.stderr @@ -1,6 +1,6 @@ <interactive>:2:1: error: - Kind variable ‘k’ is implicitly bound in datatype + Kind variable ‘k’ is implicitly bound in data type ‘D1’, but does not appear as the kind of any of its type variables. Perhaps you meant to bind it explicitly somewhere? |