[commit: ghc] wip/impredicativity: Fix problems with ($) and InstanceOf constraints (10161e6)

[git at git.haskell.org]

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

On branch  : wip/impredicativity
Link       : http://ghc.haskell.org/trac/ghc/changeset/10161e65d6aa92ade7d479e77787188e04c4f214/ghc

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

commit 10161e65d6aa92ade7d479e77787188e04c4f214
Author: Alejandro Serrano <trupill at gmail.com>
Date:   Tue Jun 23 10:28:44 2015 +0200

    Fix problems with ($) and InstanceOf constraints
    
    - Ensure that the correct constraints are generated
    when ($) is applied to several known arguments
    - Fix a problem in the second rule for canonicalization
    of InstanceOf where the incorrect eq was generated
    - Add a fallback case for irreducible InstanceOf
    constraints to make them go to the inert set (previously
    an error was raised).


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

10161e65d6aa92ade7d479e77787188e04c4f214
 compiler/typecheck/TcCanonical.hs |  12 +++--
 compiler/typecheck/TcExpr.hs      | 104 ++++++++++++++++++++++----------------
 2 files changed, 68 insertions(+), 48 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 10161e65d6aa92ade7d479e77787188e04c4f214