[commit: ghc] master: Zonk before calling splitDepVarsOfType. (5c0c751)

[git at git.haskell.org]

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

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

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

commit 5c0c751ab2deb4b03b8a2055d4f60d2574cae32f
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Mar 21 11:08:10 2016 -0400

    Zonk before calling splitDepVarsOfType.
    
    It was Utterly Wrong before.
    
    Note to self: Never, ever take the free vars of an unzonked type.


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

5c0c751ab2deb4b03b8a2055d4f60d2574cae32f
 compiler/typecheck/TcHsType.hs            |  3 ++-
 compiler/typecheck/TcMType.hs             | 38 ++++++++++++++++++++------
 compiler/typecheck/TcPatSyn.hs            | 13 ++++++---
 compiler/typecheck/TcRules.hs             |  6 ++---
 compiler/typecheck/TcSimplify.hs          |  6 +++--
 compiler/typecheck/TcTyClsDecls.hs        | 45 +++++++++++++++++--------------
 compiler/types/Type.hs                    | 26 ++++++++++++------
 testsuite/tests/ghci/scripts/T7873.stdout |  3 +--
 8 files changed, 92 insertions(+), 48 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 5c0c751ab2deb4b03b8a2055d4f60d2574cae32f