diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2021-04-29 17:35:47 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-04-30 23:22:48 -0400 |
| commit | 460afbe676715e4b8d75af79e9700ceebcf62eed (patch) | |
| tree | 7064b263e14dcc9f7e4979f3becdf9775d8bd715 /compiler/GHC/Core/Utils.hs | |
| parent | 6623790d7486b2b1a1863538dbb2b65234ecaaa6 (diff) | |
| download | haskell-460afbe676715e4b8d75af79e9700ceebcf62eed.tar.gz | |
Bring tcTyConScopedTyVars into scope in tcClassDecl2
It is possible that the type variables bound by a class header will map to
something different in the typechecker in the presence of
`StandaloneKindSignatures`. `tcClassDecl2` was not aware of this, however,
leading to #19738. To fix it, in `tcTyClDecls` we map each class `TcTyCon` to
its `tcTyConScopedTyVars` as a `ClassScopedTVEnv`. We then plumb that
`ClassScopedTVEnv` to `tcClassDecl2` where it can be used.
Fixes #19738.
Diffstat (limited to 'compiler/GHC/Core/Utils.hs')
0 files changed, 0 insertions, 0 deletions