diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-03-13 23:46:50 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-03-31 11:12:52 -0400 |
| commit | dbadd672ba7da67533c34d8594ac7f91dde0f415 (patch) | |
| tree | 4c40cc05d77aa270d754c4090ebcaa1fbe62d8f4 /compiler/GHC/Hs | |
| parent | 44774dc591206291d06e6181f599151631062332 (diff) | |
| download | haskell-dbadd672ba7da67533c34d8594ac7f91dde0f415.tar.gz | |
The result kind of a signature can't mention quantified vars
This patch fixes a small but egregious bug, which allowed
a type signature like
f :: forall a. blah
not to fail if (blah :: a). Acutally this only showed
up as a ASSERT error (#19495).
The fix is very short, but took quite a bit of head scratching
Hence the long Note [Escaping kind in type signatures]
While I was in town, I also added a short-cut for the
common case of having no quantifiers to tcImplicitTKBndrsX.
Metric Decrease:
T9198
Metric Increase:
T9198
Diffstat (limited to 'compiler/GHC/Hs')
0 files changed, 0 insertions, 0 deletions