Add regression test for #14209
authorRyan Scott <ryan.gl.scott@gmail.com>
Wed, 13 Sep 2017 13:37:24 +0000 (09:37 -0400)
committerRyan Scott <ryan.gl.scott@gmail.com>
Wed, 13 Sep 2017 13:37:24 +0000 (09:37 -0400)
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

testsuite/tests/polykinds/T14209.hs [new file with mode: 0644]
testsuite/tests/polykinds/all.T

diff --git a/testsuite/tests/polykinds/T14209.hs b/testsuite/tests/polykinds/T14209.hs
new file mode 100644 (file)
index 0000000..3e0181c
--- /dev/null
@@ -0,0 +1,5 @@
+{-# LANGUAGE TypeInType #-}
+module T14209 where
+
+data MyProxy k (a :: k) = MyProxy
+data Foo (z :: MyProxy k (a :: k))
index 864e204..c01b73c 100644 (file)
@@ -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, [''])