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 <[email protected]> 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, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
