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

[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/c8e39e7f974e44fdea261db26c3a75bd8717852c/ghc

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

commit c8e39e7f974e44fdea261db26c3a75bd8717852c
Author: Krzysztof Gogolewski <krz.gogolewski at gmail.com>
Date:   Sun Sep 14 16:34:01 2014 +0200

    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, simonpj, goldfire, austin
    
    Subscribers: simonmar, ezyang, carter
    
    Differential Revision: https://phabricator.haskell.org/D211
    
    GHC Trac Issues: #4426


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

c8e39e7f974e44fdea261db26c3a75bd8717852c
 utils/haddock | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/haddock b/utils/haddock
index c3a7d47..4023817 160000
--- a/utils/haddock
+++ b/utils/haddock
@@ -1 +1 @@
-Subproject commit c3a7d4701ee64f6c29b95a6bed519f6c16b9bffd
+Subproject commit 4023817d7c0e46db012ba2eea28022626841ca9b