[commit: ghc] wip/T9968: Make the implementation of DeriveAnyClass more robust (5782905)

[git at git.haskell.org]

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

On branch  : wip/T9968
Link       : http://ghc.haskell.org/trac/ghc/changeset/57829051e5c566a8d463f0ce7396a3956d3f719a/ghc

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

commit 57829051e5c566a8d463f0ce7396a3956d3f719a
Author: Jose Pedro Magalhaes <jpm at cs.ox.ac.uk>
Date:   Mon Feb 16 15:17:15 2015 +0000

    Make the implementation of DeriveAnyClass more robust
    
    Let DeriveAnyClass properly handle multiparameter type classes.
    Also use a new strategy for inferring constraints for
    derived classes.
    
    This fixes #9968 and #9821.


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

57829051e5c566a8d463f0ce7396a3956d3f719a
 compiler/main/HscTypes.hs             |   2 +-
 compiler/typecheck/Inst.hs            |   2 +-
 compiler/typecheck/TcDeriv.hs         | 269 +++++++++++++++++++++++-----------
 compiler/typecheck/TcGenDeriv.hs      | 194 ++++++++++++------------
 compiler/typecheck/TcGenGenerics.hs   |  93 +++++++++---
 testsuite/tests/generics/GEq/GEq1A.hs |   0
 testsuite/tests/generics/T5462Yes1.hs |   2 +-
 7 files changed, 350 insertions(+), 212 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 57829051e5c566a8d463f0ce7396a3956d3f719a