[commit: ghc] ghc-8.0: Simplify API to tcMatchTys (8e6ec66)

[git at git.haskell.org]

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

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/8e6ec665df52a14436be6c55771aed1afc7d4685/ghc

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

commit 8e6ec665df52a14436be6c55771aed1afc7d4685
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Jan 18 10:34:48 2016 +0000

    Simplify API to tcMatchTys
    
    Previously tcMatchTys took a set of "template type variables" to
    bind.  But all the calls are top-level, and we always want to
    bind all variables in the template.  So I simplified the API
    by omitting that argument.
    
    There should be no change in behaviour.
    
    Feel free to merge to 8.0 if it helps in merging other patches
    
    (cherry picked from commit 5a62b6ac0c44319e1a0b56a4300359fd25d3d818)


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

8e6ec665df52a14436be6c55771aed1afc7d4685
 compiler/typecheck/FunDeps.hs      |  5 ++---
 compiler/typecheck/TcErrors.hs     |  2 +-
 compiler/typecheck/TcSimplify.hs   |  3 +--
 compiler/typecheck/TcTyClsDecls.hs | 23 +++++++++-----------
 compiler/typecheck/TcValidity.hs   |  4 +---
 compiler/types/FamInstEnv.hs       | 14 ++++++-------
 compiler/types/InstEnv.hs          | 13 ++++++------
 compiler/types/Unify.hs            | 43 +++++++++++++++++++-------------------
 8 files changed, 49 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 8e6ec665df52a14436be6c55771aed1afc7d4685