[commit: ghc] ghc-8.2: Add a flag reference entry for -XTypeInType (1021de1)

[git at git.haskell.org]

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

On branch  : ghc-8.2
Link       : http://ghc.haskell.org/trac/ghc/changeset/1021de1d37621b1c97e34ec6b139e05248ead668/ghc

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

commit 1021de1d37621b1c97e34ec6b139e05248ead668
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
    
    (cherry picked from commit d0fb0df349d0e51b2b3f7980a8b1eca80051d67f)


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

1021de1d37621b1c97e34ec6b139e05248ead668
 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 11adca1..0207aa4 100644
--- a/utils/mkUserGuidePart/Options/Language.hs
+++ b/utils/mkUserGuidePart/Options/Language.hs
@@ -709,6 +709,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>`. "++