Skip to content

Visible dependent kind quantification does not require PolyKinds as documentation claims

Summary

Section 6.4.11.13 of the User's Guide where visible dependent kind quantification (VDKQ) is introduced claims

GHC permits writing kinds with this syntax, provided that the ExplicitForAll and PolyKinds language extensions are enabled.

However there's a working VDKQ on line 60 of GHC's test file testsuite/tests/rep-poly/EtaExpandDataCon.hs which does not contain a PolyKinds language extension pragma.

Proposed improvements or changes

Document the actual combination of language extensions that enables VDKQ.

Environment

  • GHC version used (if appropriate): 9.2.3
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information