[commit: testsuite] master: Test Trac #7601 (26beb30)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/26beb302008c4aa9cc3a216afabf5ed00c3787ef

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

commit 26beb302008c4aa9cc3a216afabf5ed00c3787ef
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Jan 30 08:32:40 2013 +0000

    Test Trac #7601

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

 tests/polykinds/T7601.hs |   12 ++++++++++++
 tests/polykinds/all.T    |    1 +
 2 files changed, 13 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T7601.hs b/tests/polykinds/T7601.hs
new file mode 100644
index 0000000..f2325ab
--- /dev/null
+++ b/tests/polykinds/T7601.hs
@@ -0,0 +1,12 @@
+{-# LANGUAGE PolyKinds              #-}
+{-# LANGUAGE TypeFamilies           #-}
+
+module T7601 where
+
+import GHC.Exts
+
+class C (a :: k) where
+   type F (a :: k)
+
+class Category (c :: k -> k -> *) where
+   type Ob c :: k -> Constraint
\ No newline at end of file
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 575c43e..d492a54 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -84,3 +84,4 @@ test('T7502', normal, compile,[''])
 test('T7488', normal, compile,[''])
 test('T7594', normal, compile_fail,[''])
 test('T7524', normal, compile_fail,[''])
+test('T7601', normal, compile,[''])