From fd0f0334189c0c5c9b186bd1b009f706d3d86086 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Thu, 5 Jul 2018 17:09:47 +0100 Subject: 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. --- testsuite/tests/polykinds/T8132.stderr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite/tests/polykinds/T8132.stderr') 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’ -- cgit v1.2.1