Skip to content
  • Krzysztof Gogolewski's avatar
    Add -fwarn-context-quantification (#4426) · 275dcafb
    Krzysztof Gogolewski authored
    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
    275dcafb