[commit: ghc] wip/impredicativity: Implement first rule for InstanceOf canon. (165c139)

[git at git.haskell.org]

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

On branch  : wip/impredicativity
Link       : http://ghc.haskell.org/trac/ghc/changeset/165c1398f635dade43031edd332652beb1af388d/ghc

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

commit 165c1398f635dade43031edd332652beb1af388d
Author: Alejandro Serrano <trupill at gmail.com>
Date:   Wed Jun 17 11:20:02 2015 +0200

    Implement first rule for InstanceOf canon.
    
    Rule InstanceOf sigma (T ...) --> sigma ~ (T ...)


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

165c1398f635dade43031edd332652beb1af388d
 compiler/typecheck/Inst.hs        | 13 ++++++-----
 compiler/typecheck/TcCanonical.hs | 47 +++++++++++++++++++++++++++++++++++++++
 compiler/typecheck/TcEvidence.hs  | 28 +++++++++++++++++++++++
 compiler/typecheck/TcMType.hs     |  1 +
 compiler/typecheck/TcRnTypes.hs   | 26 +++++++++-------------
 compiler/typecheck/TcSMonad.hs    |  7 +++---
 6 files changed, 98 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 165c1398f635dade43031edd332652beb1af388d