[commit: testsuite] master: Test Trac #6039 (72a7e82)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/72a7e82a91320e5f3f1d0ce5d894db3422c2365f

>---------------------------------------------------------------

commit 72a7e82a91320e5f3f1d0ce5d894db3422c2365f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Apr 24 16:50:57 2012 +0100

    Test Trac #6039

>---------------------------------------------------------------

 tests/polykinds/T6039.hs     |    6 ++++++
 tests/polykinds/T6039.stderr |    5 +++++
 tests/polykinds/all.T        |    1 +
 3 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T6039.hs b/tests/polykinds/T6039.hs
new file mode 100644
index 0000000..8e66446
--- /dev/null
+++ b/tests/polykinds/T6039.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE PolyKinds, KindSignatures #-}
+
+module Foo where
+
+data T (a :: j k) = MkT
+
diff --git a/tests/polykinds/T6039.stderr b/tests/polykinds/T6039.stderr
new file mode 100644
index 0000000..efa4c51
--- /dev/null
+++ b/tests/polykinds/T6039.stderr
@@ -0,0 +1,5 @@
+
+T6039.hs:5:14:
+    Kind variable `j' cannot appear in a function position
+    In the kind `j k'
+    In the data declaration for `T'
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 44a1703..a7df2c9 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -37,3 +37,4 @@ test('T5948', normal, compile, [''])
 test('T6020', normal, compile, [''])
 test('T6025', normal, run_command, ['$MAKE -s --no-print-directory T6025'])
 test('T6002', normal, compile, [''])
+test('T6039', normal, compile_fail, [''])