[commit: ghc] master: Add derived constraints for wildcard signatures (28035c0)

[git at git.haskell.org]

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

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

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

commit 28035c0900f8d535e0b03d4c2aa0c79ba728436d
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Dec 3 13:03:07 2015 +0000

    Add derived constraints for wildcard signatures
    
    This fixes Trac #11016
    
    See Note [Add deriveds for signature contexts] in TcSimplify]


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

28035c0900f8d535e0b03d4c2aa0c79ba728436d
 compiler/typecheck/TcSimplify.hs                   | 90 +++++++++++++---------
 .../tests/partial-sigs/should_compile/T11016.hs    |  9 +++
 .../partial-sigs/should_compile/T11016.stderr      | 11 +++
 testsuite/tests/partial-sigs/should_compile/all.T  |  1 +
 4 files changed, 76 insertions(+), 35 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 28035c0900f8d535e0b03d4c2aa0c79ba728436d