[commit: ghc] master: MonadFail proposal, phase 1 (233d131)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/233d1312bf15940fca5feca6884f965e7944b555/ghc

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

commit 233d1312bf15940fca5feca6884f965e7944b555
Author: David Luposchainsky <dluposchainsky at gmail.com>
Date:   Tue Nov 17 17:10:02 2015 +0100

    MonadFail proposal, phase 1
    
    This implements phase 1 of the MonadFail proposal (MFP, #10751).
    
    - MonadFail warnings are all issued as desired, tunable with two new flags
    - GHC was *not* made warning-free with `-fwarn-missing-monadfail-warnings`
      (but it's disabled by default right now)
    
    Credits/thanks to
    - Franz Thoma, whose help was crucial to implementing this
    - My employer TNG Technology Consulting GmbH for partially funding us
      for this work
    
    Reviewers: goldfire, austin, #core_libraries_committee, hvr, bgamari, fmthoma
    
    Reviewed By: hvr, bgamari, fmthoma
    
    Subscribers: thomie
    
    Projects: #ghc
    
    Differential Revision: https://phabricator.haskell.org/D1248
    
    GHC Trac Issues: #10751


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

233d1312bf15940fca5feca6884f965e7944b555
 compiler/coreSyn/CoreLint.hs                       |   8 ++
 compiler/hsSyn/HsExpr.hs                           |   2 +-
 compiler/main/DynFlags.hs                          |   4 +
 compiler/parser/Lexer.x                            |   8 ++
 compiler/prelude/PrelNames.hs                      |  39 +++++---
 compiler/prelude/PrelRules.hs                      |   8 ++
 compiler/rename/RnEnv.hs                           |   4 +-
 compiler/rename/RnExpr.hs                          |  17 +++-
 compiler/specialise/Specialise.hs                  |   8 ++
 compiler/typecheck/TcArrows.hs                     |   2 +-
 compiler/typecheck/TcErrors.hs                     |  23 +++--
 compiler/typecheck/TcMatches.hs                    |  87 +++++++++++++++--
 compiler/typecheck/TcRnDriver.hs                   |   3 +-
 compiler/typecheck/TcRnTypes.hs                    |  12 +++
 compiler/typecheck/TcSMonad.hs                     |   8 ++
 compiler/types/Unify.hs                            |   8 ++
 compiler/utils/IOEnv.hs                            |   9 ++
 compiler/utils/Maybes.hs                           |   9 ++
 docs/users_guide/glasgow_exts.rst                  |  16 +++
 docs/users_guide/using-warnings.rst                |  20 +++-
 libraries/base/Control/Monad.hs                    |   2 +-
 libraries/base/Text/ParserCombinators/ReadP.hs     |  15 +++
 libraries/base/Text/ParserCombinators/ReadPrec.hs  |  10 ++
 testsuite/tests/driver/T4437.hs                    |   4 +-
 testsuite/tests/monadfail/MonadFailErrors.hs       |  95 ++++++++++++++++++
 testsuite/tests/monadfail/MonadFailErrors.stderr   |  74 ++++++++++++++
 testsuite/tests/monadfail/MonadFailWarnings.hs     | 107 +++++++++++++++++++++
 testsuite/tests/monadfail/MonadFailWarnings.stderr |  60 ++++++++++++
 .../tests/monadfail/MonadFailWarningsDisabled.hs   |  94 ++++++++++++++++++
 .../MonadFailWarningsWithRebindableSyntax.hs       |  14 +++
 .../MonadFailWarningsWithRebindableSyntax.stderr   |   5 +
 testsuite/tests/monadfail/all.T                    |   4 +
 testsuite/tests/rebindable/rebindable1.hs          |   1 +
 testsuite/tests/rebindable/rebindable6.hs          |   9 +-
 testsuite/tests/rebindable/rebindable6.stderr      |  24 ++---
 35 files changed, 756 insertions(+), 57 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 233d1312bf15940fca5feca6884f965e7944b555