[commit: ghc] master: Add a flag reference entry for -XTypeInType (d0fb0df)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/d0fb0df349d0e51b2b3f7980a8b1eca80051d67f/ghc

>---------------------------------------------------------------

commit d0fb0df349d0e51b2b3f7980a8b1eca80051d67f
Author: Ryan Scott <ryan.gl.scott at gmail.com>
Date:   Fri Jun 2 11:48:44 2017 -0400

    Add a flag reference entry for -XTypeInType
    
    Test Plan: Read it
    
    Reviewers: bgamari, austin
    
    Reviewed By: bgamari
    
    Subscribers: rwbarton, thomie
    
    GHC Trac Issues: #13762
    
    Differential Revision: https://phabricator.haskell.org/D3614


>---------------------------------------------------------------

d0fb0df349d0e51b2b3f7980a8b1eca80051d67f
 utils/mkUserGuidePart/Options/Language.hs | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/utils/mkUserGuidePart/Options/Language.hs b/utils/mkUserGuidePart/Options/Language.hs
index f0aeb49..e584d2f 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>`. "++