[commit: ghc] master: Extended default rules now specialize Foldable, Traversable to [] (#10971) (bb7e93c)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/bb7e93c9c78bdf746e34cf6715eeffa6dd5682de/ghc

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

commit bb7e93c9c78bdf746e34cf6715eeffa6dd5682de
Author: David Kraeutmann <kane at kane.cx>
Date:   Tue Oct 20 22:39:51 2015 +0200

    Extended default rules now specialize Foldable, Traversable to [] (#10971)
    
    Default rules deliberately accept any kind.
    
    Reviewed By: simonpj, thomie, goldfire
    
    Differential Revision: https://phabricator.haskell.org/D1329


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

bb7e93c9c78bdf746e34cf6715eeffa6dd5682de
 compiler/typecheck/TcEnv.hs                        | 13 +++--
 compiler/typecheck/TcSimplify.hs                   |  6 +-
 compiler/typecheck/TcValidity.hs                   | 17 +++---
 docs/users_guide/ghci.rst                          |  6 +-
 .../tests/typecheck/should_compile/T10971a.hs      |  9 +++
 .../tests/typecheck/should_compile/T10971a.stderr  | 42 +++++++++++++
 testsuite/tests/typecheck/should_compile/all.T     |  1 +
 testsuite/tests/typecheck/should_fail/T10971b.hs   |  6 ++
 .../tests/typecheck/should_fail/T10971b.stderr     | 68 ++++++++++++++++++++++
 testsuite/tests/typecheck/should_fail/T10971c.hs   |  8 +++
 testsuite/tests/typecheck/should_fail/T10971d.hs   |  6 ++
 .../tests/typecheck/should_fail/T10971d.stderr     | 17 ++++++
 testsuite/tests/typecheck/should_fail/all.T        |  2 +
 13 files changed, 186 insertions(+), 15 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 bb7e93c9c78bdf746e34cf6715eeffa6dd5682de