diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-19 02:20:12 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-19 02:20:12 +0100 |
| commit | 8bc6c4a613b5d16118469248cfb8025a5175a174 (patch) | |
| tree | 56146daa18ef6f54974bf2c22c9121e2912a51da /testsuite/tests/typecheck/should_fail/tcfail146.stderr | |
| parent | 09cdd12b22bcff1876ea80c0d9878507c2ed4f1f (diff) | |
| download | haskell-8bc6c4a613b5d16118469248cfb8025a5175a174.tar.gz | |
Improvements to kind error messages, mainly
Also some expected/actual messages are now the right way round
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail146.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail146.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail146.stderr b/testsuite/tests/typecheck/should_fail/tcfail146.stderr index 433327a089..5b835c1a37 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail146.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail146.stderr @@ -1,6 +1,6 @@ -
-tcfail146.hs:7:22:
- Predicate `SClass a' used as a type
- In the type `SClass a'
- In the definition of data constructor `SCon'
- In the data declaration for `SData'
+ +tcfail146.hs:7:22: + Expected a type, but `SClass a' has kind `Constraint' + In the type `SClass a' + In the definition of data constructor `SCon' + In the data declaration for `SData' |