[commit: testsuite] master: Improve test (abd5bad)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/abd5bada38011648173afcceaf93409b0684fdc5

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

commit abd5bada38011648173afcceaf93409b0684fdc5
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Jan 30 08:26:33 2013 +0000

    Improve test

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

 tests/typecheck/should_fail/T7609.hs     |    3 +++
 tests/typecheck/should_fail/T7609.stderr |    5 +++++
 2 files changed, 8 insertions(+), 0 deletions(-)

diff --git a/tests/typecheck/should_fail/T7609.hs b/tests/typecheck/should_fail/T7609.hs
index 242fa94..9e9ebe1 100644
--- a/tests/typecheck/should_fail/T7609.hs
+++ b/tests/typecheck/should_fail/T7609.hs
@@ -6,3 +6,6 @@ data X a b
 
 f :: (a `X` a, Maybe)
 f = undefined
+
+g :: (a `X` a) => Maybe
+g = undefined
\ No newline at end of file
diff --git a/tests/typecheck/should_fail/T7609.stderr b/tests/typecheck/should_fail/T7609.stderr
index d3430db..1431bcb 100644
--- a/tests/typecheck/should_fail/T7609.stderr
+++ b/tests/typecheck/should_fail/T7609.stderr
@@ -4,3 +4,8 @@ T7609.hs:7:16:
     The second argument of a tuple should have kind `*',
       but `Maybe' has kind `* -> *'
     In the type signature for `f': f :: (a `X` a, Maybe)
+
+T7609.hs:10:19:
+    Expecting one more argument to `Maybe'
+    Expected a type, but `Maybe' has kind `* -> *'
+    In the type signature for `g': g :: a `X` a => Maybe