Improve test
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 30 Jan 2013 08:26:33 +0000 (08:26 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 30 Jan 2013 08:26:33 +0000 (08:26 +0000)
testsuite/tests/typecheck/should_fail/T7609.hs
testsuite/tests/typecheck/should_fail/T7609.stderr

index 242fa94..9e9ebe1 100644 (file)
@@ -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
index d3430db..1431bcb 100644 (file)
@@ -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