diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-06-02 11:48:44 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-06-02 12:27:45 -0400 |
| commit | d0fb0df349d0e51b2b3f7980a8b1eca80051d67f (patch) | |
| tree | bb7916b270df01ac3b397de0f9330a834b1a44ba | |
| parent | 93489cd3b4c1b0d17506a12a9b964c0082ddb7a8 (diff) | |
| download | haskell-d0fb0df349d0e51b2b3f7980a8b1eca80051d67f.tar.gz | |
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
| -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>`. "++ |