[commit: ghc] master: Tidy up partial-sig quantification (9dbf5f5)

[git at git.haskell.org]

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

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

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

commit 9dbf5f5c63f6ffde86c2faab60c97e97c77a27c3
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon May 9 13:48:34 2016 +0100

    Tidy up partial-sig quantification
    
    There's a messy bit of tcSimplifyInfer which concerns how
    quantify when partial type signatures are involved. This
    patch tidies it up a lot.
    
    Notice that decideQuantification and quantify_tvs get
    much simpler.  And previously the inferred type of a
    function could be cluttered with phantom variables that
    were relevant only to the error messgas.
    
    See Note [Quantification and partial signatures].


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

9dbf5f5c63f6ffde86c2faab60c97e97c77a27c3
 compiler/typecheck/TcSimplify.hs | 115 +++++++++++++++++++--------------------
 1 file changed, 57 insertions(+), 58 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 9dbf5f5c63f6ffde86c2faab60c97e97c77a27c3