diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-08-15 17:22:50 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-09-28 21:02:38 -0400 |
| commit | 7aa000b625c677534c87da43de31c27a2b969183 (patch) | |
| tree | a8f0f64ff2160ec187e1052433b7c5a75768d718 /testsuite/tests/polykinds/all.T | |
| parent | 5935acdb1302263011c2023d5e7f4ec496c972c0 (diff) | |
| download | haskell-7aa000b625c677534c87da43de31c27a2b969183.tar.gz | |
Fix #13391 by checking for kind-GADTs
The check is a bit gnarly, but I couldn't think of a better way.
See the new code in TcTyClsDecls.
test case: polykinds/T13391
Diffstat (limited to 'testsuite/tests/polykinds/all.T')
| -rw-r--r-- | testsuite/tests/polykinds/all.T | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index 78c16975da..0e5bcf1939 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -169,3 +169,5 @@ test('BadKindVar', normal, compile_fail, ['']) test('T13738', normal, compile_fail, ['']) test('T14209', normal, compile, ['']) test('T14265', normal, compile_fail, ['']) +test('T13391', normal, compile_fail, ['']) +test('T13391a', normal, compile, ['']) |