[commit: ghc] master: Use an Implication in 'deriving' error (02c1c57)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/02c1c5735aff0cce2b04a6b3e4732d62bb0a4f3c/ghc

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

commit 02c1c5735aff0cce2b04a6b3e4732d62bb0a4f3c
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Jan 6 17:22:02 2016 +0000

    Use an Implication in 'deriving' error
    
    Trac #11437 showed that erroneous constraints from a 'deriving'
    clause need to be wrapped in an Implication to properly scope
    their skolems.
    
    The main change is in TcDeriv.simplifyDeriv; the call to
    buildImplicationFor is new.


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

02c1c5735aff0cce2b04a6b3e4732d62bb0a4f3c
 compiler/typecheck/TcDeriv.hs                      | 23 +++++++++++++++------
 compiler/typecheck/TcInstDcls.hs                   |  2 +-
 compiler/typecheck/TcPatSyn.hs                     |  2 +-
 compiler/typecheck/TcRnTypes.hs                    | 11 +++++++++-
 .../tests/deriving/should_compile/T10561.stderr    |  8 +++++---
 testsuite/tests/deriving/should_fail/T7148.stderr  | 24 +++++++++++++---------
 .../tests/typecheck/should_fail/T11347.stderr      | 13 ++++++++++--
 7 files changed, 59 insertions(+), 24 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 02c1c5735aff0cce2b04a6b3e4732d62bb0a4f3c