[commit: ghc] master: Yet more work on TcSimplify.simplifyInfer (0ae7251)

[git at git.haskell.org]

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

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

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

commit 0ae72512255ba66ef89bdfeea65a23ea6eb35124
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Apr 12 15:09:37 2017 +0100

    Yet more work on TcSimplify.simplifyInfer
    
    The proximate cause for this patch is Trac #13482, which pointed out
    further subtle interactions between
       - Inferring the most general type of a function
       - A partial type signature for that function
    
    That led me into /further/ changes to the shiny new stuff in
    TcSimplify.simplifyInfer, decideQuantification, decideMonoTyVars,
    and related functions.
    
    Happily, I was able to make some of it quite a bit simpler,
    notably the bit about promoting free tyvars.  I'm happy with
    the result.
    
    Moreover I fixed Trac #13524 at the same time.  Happy days.


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

0ae72512255ba66ef89bdfeea65a23ea6eb35124
 compiler/typecheck/TcBinds.hs                      |  30 ++-
 compiler/typecheck/TcRnTypes.hs                    |   4 +-
 compiler/typecheck/TcSimplify.hs                   | 272 +++++++++++----------
 .../partial-sigs/should_compile/NamedTyVar.stderr  |   2 +-
 .../tests/partial-sigs/should_compile/T13482.hs    |  22 ++
 .../partial-sigs/should_compile/T13482.stderr      |  31 +++
 testsuite/tests/partial-sigs/should_compile/all.T  |   1 +
 testsuite/tests/typecheck/should_compile/all.T     |   2 +-
 8 files changed, 225 insertions(+), 139 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 0ae72512255ba66ef89bdfeea65a23ea6eb35124