Skip to content

Only skip decls with CUSKs with PolyKinds on (fix #16609)

Ningning Xie requested to merge ningning/ghc:T16609 into master

We only skip decls with CUSKs in kcLTyClDecl with PolyKinds on (see #16609 (closed)).

This patch adds an extra check before kcLTyClDecl to see if we have PolyKinds. If so we skip the decls of CUSKs; otherwise we kind-check the whole recursive group.

Merge request reports