diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-21 11:11:31 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-21 11:14:13 +0000 |
| commit | 71e26a74da5e5e9a61163b87ab4d22de88a2d04a (patch) | |
| tree | f43c989640daa727011c099ba790bb2c795399cb /compiler/rename/RnSource.hs | |
| parent | 28f41f1a7a0ebae7b50ca41dbf78c04ee5b8b5b7 (diff) | |
| download | haskell-71e26a74da5e5e9a61163b87ab4d22de88a2d04a.tar.gz | |
Make candidateQTvs contain tyvar with zonked kinds
candidateQTyVars was failing to return fully-zonked
tyvars, and that made things fall over chaotically
when we try to sort them into a well-scoped telescope.
Result: Trac #15795
So I made candidateQTvs guarantee to have fully-zonked
tyvars (i.e. with zonked kinds). That's a bit annoying
but not really difficult.
Diffstat (limited to 'compiler/rename/RnSource.hs')
0 files changed, 0 insertions, 0 deletions