diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2021-03-11 19:45:11 -0500 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2021-03-14 07:50:23 -0400 |
| commit | f57553815c45ccd54fe211b07537f10979f5324f (patch) | |
| tree | 7f30b62fde8caacb1d2270a77872b3b8e8ab05ff /compiler/GHC/HsToCore/Coverage.hs | |
| parent | 96b3c66b50c77c105dd97b7ef9b44d0779d712b1 (diff) | |
| download | haskell-wip/T19498.tar.gz | |
Document the interaction between ScopedTypeVariables and StandaloneKindSignatureswip/T19498
This documents a limitation of `StandaloneKindSignatures`—namely, that it
does not bring type variables bound by an outermost `forall` into scope over
a type-level declaration—in the GHC User's Guide. See #19498 for more
discussion.
Diffstat (limited to 'compiler/GHC/HsToCore/Coverage.hs')
0 files changed, 0 insertions, 0 deletions