diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-21 16:54:26 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-21 16:54:26 +0000 |
| commit | e9346b539a3ba2e99baaa4d6daec704c95727f50 (patch) | |
| tree | 8c919f60ee3b8b13416aafc7e8973ec4008f5044 | |
| parent | a57d5c4d3e39ab9ac2c31431b5e38818359fa5b5 (diff) | |
| download | haskell-e9346b539a3ba2e99baaa4d6daec704c95727f50.tar.gz | |
Improve documention of TypeInType
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index ea93cdae24..0ef0d053af 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. |