[commit: testsuite] master: Test Trac #7341 (9149af8)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/9149af85d7b3b2d5083b1ff7f3b90c097f6a442d

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

commit 9149af85d7b3b2d5083b1ff7f3b90c097f6a442d
Author: Simon Peyton Jones <[email protected]>
Date:   Fri Oct 26 16:18:22 2012 +0100

    Test Trac #7341

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

 tests/polykinds/T7341.hs                           |   12 ++++++++++++
 .../T5472.stdout => polykinds/T7341.stderr}        |    0 
 tests/polykinds/all.T                              |    1 +
 3 files changed, 13 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T7341.hs b/tests/polykinds/T7341.hs
new file mode 100644
index 0000000..1c91847
--- /dev/null
+++ b/tests/polykinds/T7341.hs
@@ -0,0 +1,12 @@
+{-# LANGUAGE KindSignatures, TypeFamilies, PolyKinds #-}
+
+module T7341 where
+
+data Proxy a = Proxy
+
+class C a where
+  type F (a :: *) :: *
+  op :: Proxy a -> Int
+
+instance C [] where
+  op _ = 5
diff --git a/tests/deSugar/should_run/T5472.stdout b/tests/polykinds/T7341.stderr
similarity index 100%
copy from tests/deSugar/should_run/T5472.stdout
copy to tests/polykinds/T7341.stderr
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 686562f..dc6bb53 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -76,4 +76,5 @@ test('Holdermans', normal, compile_fail,[''])
 test('T7328', normal, compile_fail,[''])
 test('T7332', normal, compile,[''])
 test('T7347', normal, compile_fail,[''])
+test('T7341', normal, compile_fail,[''])