diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-07-05 17:09:47 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-07-10 09:26:22 +0100 |
| commit | fd0f0334189c0c5c9b186bd1b009f706d3d86086 (patch) | |
| tree | b1b0a9a59948be2fe51ba4a47b6e53fd6c562832 /testsuite/tests/polykinds | |
| parent | 55a3f8552c9dc9b84e204ec6623c698912795347 (diff) | |
| download | haskell-fd0f0334189c0c5c9b186bd1b009f706d3d86086.tar.gz | |
More refactoring in TcValidity
This patch responds to Trac #15334 by making it an error to
write an instance declaration for a tuple constraint like
(Eq [a], Show [a]).
I then discovered that instance validity checking was
scattered betweeen TcInstDcls and TcValidity, so I took
the time to bring it all together, into
TcValidity.checkValidInstHead
In doing so I discovered that there are lot of special
cases. I have not changed them, but at least they are
all laid out clearly now.
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T8132.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T8132.stderr b/testsuite/tests/polykinds/T8132.stderr index a1aaa1319a..f53a78cd6d 100644 --- a/testsuite/tests/polykinds/T8132.stderr +++ b/testsuite/tests/polykinds/T8132.stderr @@ -1,4 +1,4 @@ -T8132.hs:7:1: error: +T8132.hs:7:10: error: • Class ‘Typeable’ does not support user-specified instances • In the instance declaration for ‘Typeable K’ |