Skip to content

Docs: fix mistaken claim about kind signatures

sheaf requested to merge sheaf/ghc:T21806 into master

This patch fixes #21806 (closed) by rectifying an incorrect claim about the usage of kind variables in the header of a data declaration with a standalone kind signature.

It also adds some clarifications about the number of parameters expected in GADT declarations and in type family declarations.

Merge request reports