[commit: ghc] master: Improve documention of TypeInType (e9346b5)

[git at git.haskell.org]

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

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

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

commit e9346b539a3ba2e99baaa4d6daec704c95727f50
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Dec 21 16:54:26 2018 +0000

    Improve documention of TypeInType


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

e9346b539a3ba2e99baaa4d6daec704c95727f50
 docs/users_guide/glasgow_exts.rst | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index ea93cda..0ef0d05 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -8788,8 +8788,9 @@ Kind polymorphism
     :implies: :extension:`PolyKinds`, :extension:`DataKinds`, :extension:`KindSignatures`
     :since: 8.0.1
 
-    In the past this extension used to enable advanced type-level programming
-    techniques. Now it's a shorthand for a couple of other extensions.
+    The extension :extension:`TypeInType` is now deprecated: its sole effect is
+    to switch on :extension:`PolyKinds`
+    (and hence :extension:`KindSignatures`) and :extension:`DataKinds`.
 
 .. extension:: PolyKinds
     :shortdesc: Enable kind polymorphism.