[commit: testsuite] master: Test Trac #7892 (219647b)

[Simon Peyton Jones]

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

On branch  : master

https://github.com/ghc/testsuite/commit/219647b0948407356d199f34d6f0e31891409bb7

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

commit 219647b0948407356d199f34d6f0e31891409bb7
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed May 15 10:37:58 2013 +0100

    Test Trac #7892

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

 tests/typecheck/should_fail/T7892.hs     |    7 +++++++
 tests/typecheck/should_fail/T7892.stderr |    2 ++
 tests/typecheck/should_fail/all.T        |    1 +
 3 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/tests/typecheck/should_fail/T7892.hs b/tests/typecheck/should_fail/T7892.hs
new file mode 100644
index 0000000..7662a2b
--- /dev/null
+++ b/tests/typecheck/should_fail/T7892.hs
@@ -0,0 +1,7 @@
+{-# LANGUAGE TypeFamilies #-}
+module T7892 where
+
+class C (f :: * -> *) where
+   type F (f :: *) :: *
+
+
diff --git a/tests/typecheck/should_fail/T7892.stderr b/tests/typecheck/should_fail/T7892.stderr
new file mode 100644
index 0000000..eec7bd7
--- /dev/null
+++ b/tests/typecheck/should_fail/T7892.stderr
@@ -0,0 +1,2 @@
+
+T7892.hs:5:4: Couldn't match kind ‛*’ against ‛* -> *’
diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T
index 3c0ad61..4ec8410 100644
--- a/tests/typecheck/should_fail/all.T
+++ b/tests/typecheck/should_fail/all.T
@@ -308,3 +308,4 @@ test('T7778', normal, compile_fail, [''])
 test('T7851', normal, compile_fail, [''])
 test('T7856', normal, compile_fail, [''])
 test('T7869', normal, compile_fail, [''])
+test('T7892', normal, compile_fail, [''])