[commit: ghc] wip/users-guide-forall-keyword: User's Guide: forall is a keyword nowadays (5f4b283)

[git at git.haskell.org]

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

On branch  : wip/users-guide-forall-keyword
Link       : http://ghc.haskell.org/trac/ghc/changeset/5f4b28332a08d0cee8315293d87fba8e039d2051/ghc

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

commit 5f4b28332a08d0cee8315293d87fba8e039d2051
Author: Vladislav Zavialov <vlad.z.4096 at gmail.com>
Date:   Fri Feb 22 16:51:48 2019 +0300

    User's Guide: forall is a keyword nowadays


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

5f4b28332a08d0cee8315293d87fba8e039d2051
 docs/users_guide/glasgow_exts.rst | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index c3090b0..f6c8fe5 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -2236,9 +2236,10 @@ The following syntax is stolen:
     .. index::
        single: forall
 
-    Stolen (in types) by: :extension:`ExplicitForAll`, and hence by
-    :extension:`ScopedTypeVariables`, :extension:`LiberalTypeSynonyms`,
-    :extension:`RankNTypes`, :extension:`ExistentialQuantification`
+    Stolen (in types) by default. ``forall`` is a reserved keyword and never a
+    type variable.
+    See `GHC Proposal #43 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0043-forall-keyword.rst>`__.
+
 
 ``mdo``
     .. index::
@@ -10083,9 +10084,6 @@ in :ref:`data-instance-declarations`, :ref:`type-instance-declarations`,
 
 Notes:
 
-- With :extension:`ExplicitForAll`, ``forall`` becomes a keyword; you can't use ``forall`` as a
-  type variable any more!
-
 - As well in type signatures, you can also use an explicit ``forall``
   in an instance declaration: ::