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 /compiler/prelude | |
| 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 'compiler/prelude')
| -rw-r--r-- | compiler/prelude/TysWiredIn.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/prelude/TysWiredIn.hs b/compiler/prelude/TysWiredIn.hs index b96581e482..56c1987852 100644 --- a/compiler/prelude/TysWiredIn.hs +++ b/compiler/prelude/TysWiredIn.hs @@ -95,7 +95,7 @@ module TysWiredIn ( liftedTypeKindTyConName, -- * Equality predicates - heqTyCon, heqClass, heqDataCon, + heqTyCon, heqTyConName, heqClass, heqDataCon, coercibleTyCon, coercibleTyConName, coercibleDataCon, coercibleClass, -- * RuntimeRep and friends |