diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-03-11 15:23:52 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-03-14 05:31:07 -0400 |
commit | e3c374cc5bd7eb49649b9f507f9f7740697e3f70 (patch) | |
tree | 1eb150d64ca6c2d425617851222367cda7c59342 /libraries/doc | |
parent | 8b95ddd3f20a67acf5251347d80f9cab191bdfc4 (diff) | |
download | haskell-e3c374cc5bd7eb49649b9f507f9f7740697e3f70.tar.gz |
Wrap an implication around class-sig kind errors
Ticket #17841 showed that we can get a kind error
in a class signature, but lack an enclosing implication
that binds its skolems.
This patch
* Adds the wrapping implication: the new call to
checkTvConstraints in tcClassDecl1
* Simplifies the API to checkTvConstraints, which
was not otherwise called at all.
* Simplifies TcErrors.report_unsolved by *not*
initialising the TidyEnv from the typechecker lexical
envt. It's enough to do so from the free vars of the
unsolved constraints; and we get silly renamings if
we add variables twice: once from the lexical scope
and once from the implication constraint.
Diffstat (limited to 'libraries/doc')
0 files changed, 0 insertions, 0 deletions