diff options
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index c3090b0722..f6c8fe58a0 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: :: |