diff options
| author | Neil Mitchell <ndmitchell@gmail.com> | 2019-02-03 15:45:12 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-08 11:00:22 -0500 |
| commit | f17a5765075631b7057aba7c582ea72b28c42d9a (patch) | |
| tree | 44cd6e45ea447b354ef4ec07d23bed2d78d2ea95 /docs/users_guide | |
| parent | be8a803f8cd461bbf87df1fc0121fe41fa922e50 (diff) | |
| download | haskell-f17a5765075631b7057aba7c582ea72b28c42d9a.tar.gz | |
ImplicitParams does not imply FlexibleContexts or FlexibleInstances, fixes #16248
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index b46196e0a0..c3090b0722 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -5879,8 +5879,7 @@ The superclasses of a class declaration ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ .. extension:: FlexibleContexts - :shortdesc: Enable flexible contexts. Implied by - :extension:`ImplicitParams`. + :shortdesc: Enable flexible contexts. :since: 6.8.1 @@ -6464,7 +6463,6 @@ Relaxed rules for the instance head .. extension:: FlexibleInstances :shortdesc: Enable flexible instances. Implies :extension:`TypeSynonymInstances`. - Implied by :extension:`ImplicitParams`. :implies: :extension:`TypeSynonymInstances` :since: 6.8.1 @@ -10882,7 +10880,6 @@ Implicit parameters .. extension:: ImplicitParams :shortdesc: Enable Implicit Parameters. - Implies :extension:`FlexibleContexts` and :extension:`FlexibleInstances`. :since: 6.8.1 |