[commit: testsuite] master: Test Trac #6022 (87cfd00)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/87cfd0051236491df7b58746e9c3bf1f39ea5b25

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

commit 87cfd0051236491df7b58746e9c3bf1f39ea5b25
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Sun Apr 22 18:25:32 2012 +0100

    Test Trac #6022

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

 tests/typecheck/should_fail/T6022.hs     |    3 +++
 tests/typecheck/should_fail/T6022.stderr |    6 ++++++
 tests/typecheck/should_fail/all.T        |    1 +
 3 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/tests/typecheck/should_fail/T6022.hs b/tests/typecheck/should_fail/T6022.hs
new file mode 100644
index 0000000..be2b9ca
--- /dev/null
+++ b/tests/typecheck/should_fail/T6022.hs
@@ -0,0 +1,3 @@
+module T6022 where
+
+f x = x == head
diff --git a/tests/typecheck/should_fail/T6022.stderr b/tests/typecheck/should_fail/T6022.stderr
new file mode 100644
index 0000000..dffeccf
--- /dev/null
+++ b/tests/typecheck/should_fail/T6022.stderr
@@ -0,0 +1,6 @@
+
+T6022.hs:3:9:
+    No instance for (Eq ([a] -> a)) arising from a use of `=='
+    Possible fix: add an instance declaration for (Eq ([a] -> a))
+    In the expression: x == head
+    In an equation for `f': f x = x == head
diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T
index e0f95bf..99290c2 100644
--- a/tests/typecheck/should_fail/all.T
+++ b/tests/typecheck/should_fail/all.T
@@ -273,3 +273,4 @@ test('T5684', normal, compile_fail, [''])
 test('T5858', normal, compile_fail, [''])
 test('T5957', normal, compile_fail, [''])
 test('T6001', normal, compile_fail, [''])
+test('T6022', normal, compile_fail, [''])