[commit: ghc] wip/T15449, wip/T16188, wip/llvm-configure-opts: ImplicitParams does not imply FlexibleContexts or FlexibleInstances, fixes #16248 (f17a576)

[git at git.haskell.org]

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

On branches: wip/T15449,wip/T16188,wip/llvm-configure-opts
Link       : http://ghc.haskell.org/trac/ghc/changeset/f17a5765075631b7057aba7c582ea72b28c42d9a/ghc

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

commit f17a5765075631b7057aba7c582ea72b28c42d9a
Author: Neil Mitchell <ndmitchell at gmail.com>
Date:   Sun Feb 3 15:45:12 2019 -0500

    ImplicitParams does not imply FlexibleContexts or FlexibleInstances, fixes #16248


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

f17a5765075631b7057aba7c582ea72b28c42d9a
 docs/users_guide/glasgow_exts.rst | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index b46196e..c3090b0 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