[commit: ghc] master: Add -fwarn-context-quantification (#4426) (275dcaf)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/275dcafbfb6b371dd5d8943fa4df9c23e68f6165/ghc

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

commit 275dcafbfb6b371dd5d8943fa4df9c23e68f6165
Author: Krzysztof Gogolewski <krz.gogolewski at gmail.com>
Date:   Thu Sep 18 14:52:50 2014 -0700

    Add -fwarn-context-quantification (#4426)
    
    Summary:
    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
    
    Also update Haddock submodule.
    
    Test Plan: validate
    
    Reviewers: hvr, goldfire, simonpj, austin
    
    Reviewed By: austin
    
    Subscribers: simonmar, ezyang, carter
    
    Differential Revision: https://phabricator.haskell.org/D211
    
    GHC Trac Issues: #4426


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

275dcafbfb6b371dd5d8943fa4df9c23e68f6165
 compiler/hsSyn/HsDecls.lhs                         |  8 +++-
 compiler/hsSyn/HsTypes.lhs                         | 30 +++++++++----
 compiler/main/DynFlags.hs                          |  5 ++-
 compiler/main/GhcMonad.hs                          |  2 +-
 compiler/parser/Parser.y.pp                        |  6 +--
 compiler/parser/RdrHsSyn.lhs                       |  4 +-
 compiler/rename/RnSource.lhs                       | 13 ++++--
 compiler/rename/RnTypes.lhs                        | 49 +++++++++++++++++++++-
 docs/users_guide/7.10.1-notes.xml                  | 24 +++++++++++
 docs/users_guide/glasgow_exts.xml                  | 22 +++++-----
 docs/users_guide/using.xml                         | 26 +++++++++++-
 testsuite/tests/rename/should_compile/T4426.hs     | 22 ++++++++++
 testsuite/tests/rename/should_compile/T4426.stderr | 35 ++++++++++++++++
 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 +-
 utils/haddock                                      |  2 +-
 19 files changed, 217 insertions(+), 44 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 275dcafbfb6b371dd5d8943fa4df9c23e68f6165