diff options
Diffstat (limited to 'docs/users_guide/exts/explicit_forall.rst')
-rw-r--r-- | docs/users_guide/exts/explicit_forall.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/exts/explicit_forall.rst b/docs/users_guide/exts/explicit_forall.rst index 1eeb723a84..5a6212ee4b 100644 --- a/docs/users_guide/exts/explicit_forall.rst +++ b/docs/users_guide/exts/explicit_forall.rst @@ -8,7 +8,10 @@ Explicit universal quantification (forall) Implied by :extension:`ScopedTypeVariables`, :extension:`LiberalTypeSynonyms`, :extension:`RankNTypes` and :extension:`ExistentialQuantification`. + :implied by: :extension:`ScopedTypeVariables`, :extension:`LiberalTypeSynonyms`, + :extension:`RankNTypes`, :extension:`ExistentialQuantification` :since: 6.12.1 + :status: Included in :extension:`GHC2021` Allow use of the ``forall`` keyword in places where universal quantification is implicit. |