diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-18 08:54:11 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-18 08:54:11 +0100 |
| commit | 5879d5aab929e9959d48e03dad456b824160b3bf (patch) | |
| tree | d9c9d012dc9a06f2e0c77fc487ff5a58a8130df1 /testsuite/tests/module | |
| parent | 023a0ba938b69bbb89cb2ce48a07459b07783391 (diff) | |
| download | haskell-5879d5aab929e9959d48e03dad456b824160b3bf.tar.gz | |
Report arity errors correctly despite kinds
Trac #10516 pointed out that when reporting arity errors
(like "T needs 2 arguments but has been given 1"), we should
not count kind arguments, since they are implicit. If we
include kind args in the count, we get very confusing error
messages indeed.
I did a little bit of refactoring which make some
error messages wobble around. But the payload of
this fix is in TcValidity.tyConArityErr
Diffstat (limited to 'testsuite/tests/module')
| -rw-r--r-- | testsuite/tests/module/mod60.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/module/mod60.stderr b/testsuite/tests/module/mod60.stderr index 1cf46b1253..cf94537bb9 100644 --- a/testsuite/tests/module/mod60.stderr +++ b/testsuite/tests/module/mod60.stderr @@ -1,5 +1,5 @@ - -mod60.hs:3:4: - Constructor ‘Left’ should have 1 argument, but has been given none - In the pattern: Left - In an equation for ‘f’: f (Left) = error "foo" +
+mod60.hs:3:4: error:
+ The constructor ‘Left’ should have 1 argument, but has been given none
+ In the pattern: Left
+ In an equation for ‘f’: f (Left) = error "foo"
|