diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2019-02-22 16:51:48 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2019-02-22 16:51:53 +0300 |
| commit | 5f4b28332a08d0cee8315293d87fba8e039d2051 (patch) | |
| tree | dafad6e1fea1b61a2d209604766bb16723468c9e | |
| parent | 473632d7671619ee08a2a0025aa22bd4f79eca2d (diff) | |
| download | haskell-wip/users-guide-forall-keyword.tar.gz | |
User's Guide: forall is a keyword nowadayswip/users-guide-forall-keyword
| -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: :: |