summaryrefslogtreecommitdiff
path: root/testsuite/tests
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2014-10-30 16:33:34 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2014-11-04 10:38:03 +0000
commit6d1ac963d87b83f1cac85c18729cfbc29c390383 (patch)
tree4eff3bfb76d87e3f2782cb64d4e8cebfe4a7099a /testsuite/tests
parentf861fc6ad8e5504a4fecfc9bb0945fe2d313687c (diff)
downloadhaskell-6d1ac963d87b83f1cac85c18729cfbc29c390383.tar.gz
Improve error message for a handwritten Typeable instance
Diffstat (limited to 'testsuite/tests')
-rw-r--r--testsuite/tests/deriving/should_fail/T9687.hs4
-rw-r--r--testsuite/tests/deriving/should_fail/T9687.stderr5
-rw-r--r--testsuite/tests/deriving/should_fail/T9730.stderr1
-rw-r--r--testsuite/tests/deriving/should_fail/all.T1
4 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_fail/T9687.hs b/testsuite/tests/deriving/should_fail/T9687.hs
new file mode 100644
index 0000000000..818878b215
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/T9687.hs
@@ -0,0 +1,4 @@
+module T9687 where
+import Data.Typeable
+
+instance Typeable (a,b,c,d,e,f,g,h)
diff --git a/testsuite/tests/deriving/should_fail/T9687.stderr b/testsuite/tests/deriving/should_fail/T9687.stderr
new file mode 100644
index 0000000000..10619a6575
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/T9687.stderr
@@ -0,0 +1,5 @@
+
+T9687.hs:4:10:
+ Typeable instances can only be derived
+ Try ‘deriving instance Typeable (,,,,,,,)’
+ (requires StandaloneDeriving)
diff --git a/testsuite/tests/deriving/should_fail/T9730.stderr b/testsuite/tests/deriving/should_fail/T9730.stderr
new file mode 100644
index 0000000000..0519ecba6e
--- /dev/null
+++ b/testsuite/tests/deriving/should_fail/T9730.stderr
@@ -0,0 +1 @@
+ \ No newline at end of file
diff --git a/testsuite/tests/deriving/should_fail/all.T b/testsuite/tests/deriving/should_fail/all.T
index 7700d62be1..54a6f95afc 100644
--- a/testsuite/tests/deriving/should_fail/all.T
+++ b/testsuite/tests/deriving/should_fail/all.T
@@ -51,4 +51,5 @@ test('T6147', normal, compile_fail, [''])
test('T8851', normal, compile_fail, [''])
test('T9071', normal, multimod_compile_fail, ['T9071',''])
test('T9071_2', normal, compile_fail, [''])
+test('T9687', normal, compile_fail, [''])