[commit: ghc] master: Tidy up tidySkolemInfo (290a553)

[git at git.haskell.org]

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

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

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

commit 290a553e9bd98ed43765cf8e7a70ebc95c187253
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Jan 6 17:11:34 2016 +0000

    Tidy up tidySkolemInfo
    
    Previously tidySkolemInfo used tidyOpenType, and returned a new
    TidyEnv.  But that's not needed any more, because all the skolems
    should be in scope in the constraint tree.
    
    I also removed a (now-unnecessary) field of UnifyForAllSkol


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

290a553e9bd98ed43765cf8e7a70ebc95c187253
 compiler/typecheck/TcErrors.hs                     |  6 ++--
 compiler/typecheck/TcMType.hs                      | 32 ++++++----------------
 compiler/typecheck/TcRnTypes.hs                    |  3 +-
 compiler/typecheck/TcSMonad.hs                     |  4 ++-
 testsuite/tests/deriving/should_fail/T7148a.stderr | 17 ++++++------
 .../tests/typecheck/should_fail/tcfail174.stderr   |  4 +--
 6 files changed, 26 insertions(+), 40 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 290a553e9bd98ed43765cf8e7a70ebc95c187253