[commit: ghc] context-quantification-4426: Add -fwarn-context-quantification (#4426) (8fe3aef)

[git at git.haskell.org]

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

On branch  : context-quantification-4426
Link       : http://ghc.haskell.org/trac/ghc/changeset/8fe3aef91a762e0a81fdbe5faa689ca17d845222/ghc

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

commit 8fe3aef91a762e0a81fdbe5faa689ca17d845222
Author: Krzysztof Gogolewski <krz.gogolewski at gmail.com>
Date:   Sun Sep 14 16:09:16 2014 +0200

    Add -fwarn-context-quantification (#4426)
    
    This warning (enabled by default) reports places where a context
    implicitly binds a type variable, for example
    
    type T a = {-forall m.-} Monad m => a -> m a


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

8fe3aef91a762e0a81fdbe5faa689ca17d845222
 compiler/hsSyn/HsTypes.lhs                         | 27 ++++++++----
 compiler/main/DynFlags.hs                          |  5 ++-
 compiler/main/GhcMonad.hs                          |  2 +-
 compiler/parser/Parser.y.pp                        |  6 +--
 compiler/rename/RnSource.lhs                       |  5 +++
 compiler/rename/RnTypes.lhs                        | 48 +++++++++++++++++++++-
 docs/users_guide/glasgow_exts.xml                  | 21 +++++-----
 docs/users_guide/using.xml                         | 26 +++++++++++-
 testsuite/tests/rename/should_compile/T4426.hs     | 22 ++++++++++
 testsuite/tests/rename/should_compile/T4426.stderr | 30 ++++++++++++++
 testsuite/tests/rename/should_compile/all.T        |  1 +
 testsuite/tests/th/T7021a.hs                       |  4 +-
 testsuite/tests/th/T8807.hs                        |  4 +-
 testsuite/tests/typecheck/should_compile/T3018.hs  |  2 +-
 testsuite/tests/typecheck/should_compile/tc092.hs  |  2 +-
 15 files changed, 170 insertions(+), 35 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 8fe3aef91a762e0a81fdbe5faa689ca17d845222