Add a flag reference entry for -XTypeInType
authorRyan Scott <ryan.gl.scott@gmail.com>
Fri, 2 Jun 2017 15:48:44 +0000 (11:48 -0400)
committerBen Gamari <ben@smart-cactus.org>
Fri, 2 Jun 2017 16:27:45 +0000 (12:27 -0400)
Test Plan: Read it

Reviewers: bgamari, austin

Reviewed By: bgamari

Subscribers: rwbarton, thomie

GHC Trac Issues: #13762

Differential Revision: https://phabricator.haskell.org/D3614

utils/mkUserGuidePart/Options/Language.hs

index f0aeb49..e584d2f 100644 (file)
@@ -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>`. "++