[commit: ghc] master: Show constraints when reporting typed holes (0c3341b)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/0c3341b23e0672fb9c05d9f6ab0be76f411d526e/ghc

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

commit 0c3341b23e0672fb9c05d9f6ab0be76f411d526e
Author: Maciej Bielecki <zyla at prati.pl>
Date:   Wed Dec 14 16:43:25 2016 -0500

    Show constraints when reporting typed holes
    
    This patch implements the display of constraints in the error message
    for typed holes.
    
    Test Plan: validate, read docs
    
    Reviewers: simonpj, austin, bgamari
    
    Reviewed By: simonpj, bgamari
    
    Subscribers: simonpj, thomie
    
    Differential Revision: https://phabricator.haskell.org/D2767
    
    GHC Trac Issues: #10614


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

0c3341b23e0672fb9c05d9f6ab0be76f411d526e
 compiler/main/DynFlags.hs                          |  4 +-
 compiler/typecheck/TcErrors.hs                     | 45 +++++++++++++++-
 docs/users_guide/glasgow_exts.rst                  | 27 ++++++++++
 testsuite/tests/typecheck/should_compile/all.T     |  2 +
 .../typecheck/should_compile/hole_constraints.hs   | 27 ++++++++++
 .../should_compile/hole_constraints.stderr         | 61 ++++++++++++++++++++++
 .../should_compile/hole_constraints_nested.hs      | 12 +++++
 .../should_compile/hole_constraints_nested.stderr  | 15 ++++++
 utils/mkUserGuidePart/Options/Verbosity.hs         |  4 ++
 9 files changed, 195 insertions(+), 2 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 0c3341b23e0672fb9c05d9f6ab0be76f411d526e