From d0fb0df349d0e51b2b3f7980a8b1eca80051d67f Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Fri, 2 Jun 2017 11:48:44 -0400
Subject: 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
---
 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 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>`. "++
-- 
cgit v1.2.1