[commit: ghc] master: Use TyVars in PatSyns (12eff23)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/12eff239236c43ee903d8e29287a36c3d8e24747/ghc

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

commit 12eff239236c43ee903d8e29287a36c3d8e24747
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Nov 25 11:39:38 2016 +0000

    Use TyVars in PatSyns
    
    I found that some TcTyVars were lurking in a PatSyn, because
    tc_patsyn_finish was using the TcType -> TcType zonker rather
    than the TcType -> Type zonker.  Eeek.
    
    I fixing this I also tided up function naming a bit (still not
    terrific), and removed the unused TcTyBinder type entirely.


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

12eff239236c43ee903d8e29287a36c3d8e24747
 compiler/typecheck/TcHsSyn.hs      | 17 ++++++++++-------
 compiler/typecheck/TcHsType.hs     |  4 ++--
 compiler/typecheck/TcMType.hs      | 15 +++------------
 compiler/typecheck/TcPatSyn.hs     | 27 +++++++++++----------------
 compiler/typecheck/TcTyClsDecls.hs |  2 +-
 compiler/typecheck/TcType.hs       |  3 +--
 6 files changed, 28 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 12eff239236c43ee903d8e29287a36c3d8e24747