Skip to content

Document the interaction between ScopedTypeVariables and StandaloneKindSignatures

Ryan Scott requested to merge wip/T19498 into master

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 (closed) for more discussion.

Merge request reports