[commit: ghc] master: Simplify API to tcMatchTys (5a62b6a)

[git at git.haskell.org]

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

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

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

commit 5a62b6ac0c44319e1a0b56a4300359fd25d3d818
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


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

5a62b6ac0c44319e1a0b56a4300359fd25d3d818
 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 5a62b6ac0c44319e1a0b56a4300359fd25d3d818