diff options
| author | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2014-09-18 14:52:50 -0700 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2014-09-18 14:53:46 -0700 |
| commit | 275dcafbfb6b371dd5d8943fa4df9c23e68f6165 (patch) | |
| tree | 11edf1e79c8879fd836549531d3be0f2825a5108 /utils | |
| parent | ed58ec059c3a3d6f550f42b2707e59f851b8f90d (diff) | |
| download | haskell-275dcafbfb6b371dd5d8943fa4df9c23e68f6165.tar.gz | |
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
Diffstat (limited to 'utils')
| m--------- | utils/haddock | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/utils/haddock b/utils/haddock -Subproject c3a7d4701ee64f6c29b95a6bed519f6c16b9bff +Subproject 4023817d7c0e46db012ba2eea28022626841ca9 |