diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-08-17 10:07:03 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-08-17 10:07:03 -0400 |
| commit | 039fa1b994a8b0d6be25eb1bc711904db9661db2 (patch) | |
| tree | 1ed9bec64b6aab32dbdcb4d13975424a86951ec9 /testsuite/tests/gadt/all.T | |
| parent | 38260a9e9f8c38edd25f4b4c06e0ea5d88fc6bf2 (diff) | |
| download | haskell-039fa1b994a8b0d6be25eb1bc711904db9661db2.tar.gz | |
Suggest how to fix illegally nested foralls in GADT constructor type signatures
Summary:
Although the code from #12087 isn't accepted by GHC, we can at least
do a better job of letting users know what the problem is, and how to fix it.
Test Plan: make test TEST=T12087
Reviewers: goldfire, austin, bgamari
Reviewed By: goldfire
Subscribers: rwbarton, thomie
GHC Trac Issues: #12087
Differential Revision: https://phabricator.haskell.org/D3851
Diffstat (limited to 'testsuite/tests/gadt/all.T')
| -rw-r--r-- | testsuite/tests/gadt/all.T | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T index 877943b0c5..3c825f0848 100644 --- a/testsuite/tests/gadt/all.T +++ b/testsuite/tests/gadt/all.T @@ -56,7 +56,7 @@ test('records-fail1', normal, compile_fail, ['']) test('doaitse', normal, compile, ['']) test('josef', normal, compile, ['']) -# Interaction of fundeps with GADTs doesn't work well +# Interaction of fundeps with GADTs doesn't work well test('gadt-fd', expect_broken(345), compile, ['']) test('karl1', normal, compile, ['']) @@ -112,4 +112,5 @@ test('T7974', normal, compile, ['']) test('T7558', normal, compile_fail, ['']) test('T9096', normal, compile, ['']) test('T9380', normal, compile_and_run, ['']) +test('T12087', normal, compile_fail, ['']) test('T12468', normal, compile_fail, ['']) |