diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-09-13 09:37:24 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-09-13 09:37:24 -0400 |
| commit | dafa0128950a6b18d79818881b3eeb6dc5c855b4 (patch) | |
| tree | e29cd103773dc0517cb46a646be17a2b8131f37c /testsuite/tests | |
| parent | 9ff9c35895ecc072f289c93addd1faad884bf122 (diff) | |
| download | haskell-dafa0128950a6b18d79818881b3eeb6dc5c855b4.tar.gz | |
Add regression test for #14209
Summary:
Commit 0257dacf228024d0cc6ba247c707130637a25580
(`Refactor bindHsQTyVars and friends`) ended up fixing #14209. Let's
add a regression test so that it stays fixed.
Test Plan: make test TEST=T14209
Reviewers: austin, bgamari
Subscribers: rwbarton, thomie
GHC Trac Issues: #14209
Differential Revision: https://phabricator.haskell.org/D3936
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/polykinds/T14209.hs | 5 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/all.T | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T14209.hs b/testsuite/tests/polykinds/T14209.hs new file mode 100644 index 0000000000..3e0181c4ed --- /dev/null +++ b/testsuite/tests/polykinds/T14209.hs @@ -0,0 +1,5 @@ +{-# LANGUAGE TypeInType #-} +module T14209 where + +data MyProxy k (a :: k) = MyProxy +data Foo (z :: MyProxy k (a :: k)) diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index 864e204f72..c01b73c98d 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -167,3 +167,4 @@ test('T13985', normal, compile_fail, ['']) test('T14110', normal, compile_fail, ['']) test('BadKindVar', normal, compile_fail, ['']) test('T13738', normal, compile_fail, ['']) +test('T14209', normal, compile, ['']) |