Improved error meesage
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 24 Oct 2011 18:48:55 +0000 (19:48 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 24 Oct 2011 18:48:55 +0000 (19:48 +0100)
testsuite/tests/typecheck/should_fail/tcfail209.stderr

index b3c7a10..2101c99 100644 (file)
@@ -6,6 +6,7 @@ tcfail209.hs:5:1:
 
 tcfail209.hs:8:8:
     Predicate `Show a' used as a type
-    Expected kind `*', but `Show a' has kind `Constraint'
+    The first argument of a tuple should have kind `*',
+    but `Show a' has kind `Constraint'
     In the type signature for `g':
       g :: ((Show a, Num a), Eq a) => a -> a