[commit: testsuite] master: Test Trac #7282 (6d60454)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/6d60454bba3578e286c29854b25970e535bb2a07

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

commit 6d60454bba3578e286c29854b25970e535bb2a07
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Jan 30 08:29:15 2013 +0000

    Test Trac #7282

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

 tests/indexed-types/should_compile/T7282.hs |    9 +++++++++
 tests/indexed-types/should_compile/all.T    |    1 +
 2 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/tests/indexed-types/should_compile/T7282.hs b/tests/indexed-types/should_compile/T7282.hs
new file mode 100644
index 0000000..a357d17
--- /dev/null
+++ b/tests/indexed-types/should_compile/T7282.hs
@@ -0,0 +1,9 @@
+ {-# OPTIONS -XTypeFamilies -XDataKinds -XPolyKinds #-}
+
+module T7282 where
+
+class Foo (xs :: [k]) where
+     type Bar xs :: *
+
+instance Foo '[] where
+     type Bar '[] = Int
diff --git a/tests/indexed-types/should_compile/all.T b/tests/indexed-types/should_compile/all.T
index b8edf95..019c5ac 100644
--- a/tests/indexed-types/should_compile/all.T
+++ b/tests/indexed-types/should_compile/all.T
@@ -207,4 +207,5 @@ test('T7280', normal, compile, [''])
 test('T7474', normal, compile, [''])
 test('T7489', normal, compile, [''])
 test('T7585', normal, compile, [''])
+test('T7282', normal, compile, [''])