[commit: testsuite] master: Add test for #8132 (7c73a9f)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/7c73a9ff4ad3a7384e0034f13f18a26b3ae4a2a8/testsuite

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

commit 7c73a9ff4ad3a7384e0034f13f18a26b3ae4a2a8
Author: Jose Pedro Magalhaes <jpm at cs.uu.nl>
Date:   Wed Sep 4 10:08:22 2013 +0200

    Add test for #8132


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

7c73a9ff4ad3a7384e0034f13f18a26b3ae4a2a8
 tests/polykinds/T8132.hs     |    6 ++++++
 tests/polykinds/T8132.stderr |    4 ++++
 tests/polykinds/all.T        |    1 +
 3 files changed, 11 insertions(+)

diff --git a/tests/polykinds/T8132.hs b/tests/polykinds/T8132.hs
new file mode 100644
index 0000000..3e58478
--- /dev/null
+++ b/tests/polykinds/T8132.hs
@@ -0,0 +1,6 @@
+
+import Data.Typeable
+
+data K = K
+
+instance Typeable K where typeRep _ = undefined
diff --git a/tests/polykinds/T8132.stderr b/tests/polykinds/T8132.stderr
new file mode 100644
index 0000000..8cb76ec
--- /dev/null
+++ b/tests/polykinds/T8132.stderr
@@ -0,0 +1,4 @@
+
+T8132.hs:1:1:
+    Typeable instances can only be derived; replace the following instance:
+      instance Typeable * K -- Defined at T8132.hs:6:10
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index c69453c..24b0fef 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -89,3 +89,4 @@ test('T7805', normal, compile_fail,[''])
 test('T7916', normal, compile,[''])
 test('T7973', normal, compile,['-O'])
 test('T7939a', normal, compile_fail, [''])
+test('T8132', normal, compile_fail, [''])
\ No newline at end of file