[commit: ghc] wip/impredicativity: Implement third rule of InstanceOf canon (40fd9a6)

[git at git.haskell.org]

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

On branch  : wip/impredicativity
Link       : http://ghc.haskell.org/trac/ghc/changeset/40fd9a6bb2fe78e1c9324112714129bf8b3305a4/ghc

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

commit 40fd9a6bb2fe78e1c9324112714129bf8b3305a4
Author: Alejandro Serrano <trupill at gmail.com>
Date:   Thu Jun 25 11:55:51 2015 +0200

    Implement third rule of InstanceOf canon
    
    Rule InstanceOf sigma2 (forall a. Q1 => tau1)
         ----> forall a. (Q1 => InstanceOf sigma2 tau1)
    
    - Print more information to ease debug in MkCore.


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

40fd9a6bb2fe78e1c9324112714129bf8b3305a4
 compiler/coreSyn/MkCore.hs        |  2 +-
 compiler/deSugar/DsBinds.hs       |  5 +++++
 compiler/typecheck/TcCanonical.hs |  9 ++++++++-
 compiler/typecheck/TcEvidence.hs  | 35 ++++++++++++++++++++++++++++-------
 compiler/typecheck/TcHsSyn.hs     |  9 +++++----
 compiler/typecheck/TcSMonad.hs    | 35 +++++++++++++++++++++++++++++++++++
 compiler/typecheck/TcType.hs      |  4 ++++
 7 files changed, 86 insertions(+), 13 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 40fd9a6bb2fe78e1c9324112714129bf8b3305a4