diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2021-03-11 19:45:11 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-03-15 00:42:27 -0400 |
| commit | 7ea7624c20b02b25b5d6b51ff75aa25313a0371d (patch) | |
| tree | 9f783cac6a219d85e615333e50e5518e44dde799 /docs/users_guide/intro.rst | |
| parent | 87ae062ab8a73430308f4ea5967e76bc384e5a76 (diff) | |
| download | haskell-7ea7624c20b02b25b5d6b51ff75aa25313a0371d.tar.gz | |
Document the interaction between ScopedTypeVariables and StandaloneKindSignatures
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 'docs/users_guide/intro.rst')
0 files changed, 0 insertions, 0 deletions