Skip to content

Docs: clarify ConstraintKinds infelicity

sheaf requested to merge sheaf/ghc:T21061-docs into master

GHC doesn't consistently require the ConstraintKinds extension to be enabled, as it allows programs such as type families returning a constraint without this extension.

MR !7784 (closed) fixes this infelicity, but breaking user programs was deemed to not be worth it, so we document it instead.

Merge request reports