[commit: ghc] wip/T11067: Implement recursive superclasses (643397a)

[git at git.haskell.org]

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

On branch  : wip/T11067
Link       : http://ghc.haskell.org/trac/ghc/changeset/643397a09f6e08a97dc104db3b1fd3cb8fa06770/ghc

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

commit 643397a09f6e08a97dc104db3b1fd3cb8fa06770
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Dec 9 16:13:36 2015 +0000

    Implement recursive superclasses
    
    This finishes it up except for docs


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

643397a09f6e08a97dc104db3b1fd3cb8fa06770
 compiler/typecheck/TcCanonical.hs                  |  82 +++++++++-------
 compiler/typecheck/TcErrors.hs                     |  82 +++++++++++-----
 compiler/typecheck/TcRnTypes.hs                    |  10 +-
 compiler/typecheck/TcSimplify.hs                   |   5 +-
 compiler/typecheck/TcTyClsDecls.hs                 |  12 ---
 compiler/typecheck/TcTyDecls.hs                    |  24 +++--
 compiler/typecheck/TcType.hs                       |  29 +++++-
 compiler/utils/Bag.hs                              |   1 -
 testsuite/tests/driver/T4437.hs                    |   2 +-
 .../tests/indexed-types/should_compile/T11067.hs   |  35 +++++++
 .../indexed-types/should_compile/T3208b.stderr     |  10 --
 testsuite/tests/indexed-types/should_compile/all.T |   1 +
 .../tests/indexed-types/should_fail/T1897b.stderr  |  22 ++---
 .../tests/indexed-types/should_fail/T3330a.stderr  |  18 ----
 .../tests/indexed-types/should_fail/T4174.stderr   |  16 ----
 .../tests/indexed-types/should_fail/T8227.stderr   |  35 +++----
 .../tests/indexed-types/should_fail/T9662.stderr   |  80 +++-------------
 testsuite/tests/module/mod40.stderr                |   2 +
 .../should_compile/ExtraConstraints3.stderr        |  14 +--
 .../WarningWildcardInstantiations.stderr           |   3 +-
 .../InstantiatedNamedWildcardsInConstraints.stderr |   2 +-
 .../should_fail/WildcardInstantiations.stderr      |   3 +-
 testsuite/tests/pmcheck/should_compile/T3927b.hs   |   1 +
 .../tests/pmcheck/should_compile/T3927b.stderr     |   7 +-
 testsuite/tests/polykinds/T7332.hs                 |   3 +-
 .../tests/simplCore/should_compile/T4398.stderr    |  18 +++-
 testsuite/tests/typecheck/should_compile/T11067.hs |  33 +++++++
 .../tests/typecheck/should_compile/T9834.stderr    | 105 ++++++++-------------
 .../tests/typecheck/should_compile/T9939.stderr    |  13 ++-
 testsuite/tests/typecheck/should_fail/T2714.stderr |  35 +++----
 testsuite/tests/typecheck/should_fail/T7869.stderr |  43 +++------
 testsuite/tests/typecheck/should_fail/T8883.stderr |   2 +-
 testsuite/tests/typecheck/should_fail/T9415.stderr |   2 +
 testsuite/tests/typecheck/should_fail/T9739.stderr |   2 +
 .../tests/typecheck/should_fail/tcfail027.stderr   |   2 +
 35 files changed, 378 insertions(+), 376 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 643397a09f6e08a97dc104db3b1fd3cb8fa06770