diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-10-24 19:48:55 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-10-24 19:48:55 +0100 |
| commit | 398ef537c4be8f2c83752f5f61df2a4db0eb4004 (patch) | |
| tree | d9e72b0c53de1a0bef4e396fb4fda348698d6e77 /testsuite | |
| parent | 09833867a1b72c1c49901b7557f83baa3e615c4e (diff) | |
| download | haskell-398ef537c4be8f2c83752f5f61df2a4db0eb4004.tar.gz | |
Improved error meesage
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail209.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail209.stderr b/testsuite/tests/typecheck/should_fail/tcfail209.stderr index b3c7a104e2..2101c99ca1 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail209.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail209.stderr @@ -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 |