diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Language.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/utils/mkUserGuidePart/Options/Language.hs b/utils/mkUserGuidePart/Options/Language.hs index f0aeb49c0f..e584d2f38b 100644 --- a/utils/mkUserGuidePart/Options/Language.hs +++ b/utils/mkUserGuidePart/Options/Language.hs @@ -702,6 +702,17 @@ languageOptions = , flagReverse = "-XNoTypeFamilies" , flagSince = "6.8.1" } + , flag { flagName = "-XTypeInType" + , flagDescription = + "Allow :ref:`kinds to be used as types <type-in-type>`, " ++ + "including explicit kind variable quantification, higher-rank "++ + "kinds, kind synonyms, and kind families. "++ + "Implies :ghc-flag:`-XDataKinds`, :ghc-flag:`-XKindSignatures`, " ++ + "and :ghc-flag:`-XPolyKinds`." + , flagType = DynamicFlag + , flagReverse = "-XNoTypeInType" + , flagSince = "8.0.1" + } , flag { flagName = "-XTypeOperators" , flagDescription = "Enable :ref:`type operators <type-operators>`. "++ |