[commit: ghc] master: Rename SigTv to TyVarTv (#15480) (a50244c)

[git at git.haskell.org]

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

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

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

commit a50244c6a87176a4df8d41e6a1a3f102ba129032
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Thu Aug 16 17:16:44 2018 -0700

    Rename SigTv to TyVarTv (#15480)
    
    because since #15050, these are no longer used in pattern SIGnatures,
    but still in other places where meta-variables should only be unified
    with TYpe VARiables.
    
    I also found mentions of `SigTv` in parts of the renamer and desugarer
    that do not seem to directly relate to `SigTv` as used in the type
    checker, but rather to uses of `forall a.` in type signatures. I renamed
    these to `ScopedTv`.
    
    Differential Revision: https://phabricator.haskell.org/D5074


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

a50244c6a87176a4df8d41e6a1a3f102ba129032
 compiler/deSugar/DsMeta.hs                         | 12 ++--
 compiler/rename/RnBinds.hs                         | 20 +++---
 compiler/typecheck/TcBinds.hs                      | 12 ++--
 compiler/typecheck/TcCanonical.hs                  |  4 +-
 compiler/typecheck/TcErrors.hs                     | 10 +--
 compiler/typecheck/TcFlatten.hs                    |  4 +-
 compiler/typecheck/TcHsType.hs                     | 54 ++++++++--------
 compiler/typecheck/TcMType.hs                      | 74 +++++++++++-----------
 compiler/typecheck/TcPatSyn.hs                     |  4 +-
 compiler/typecheck/TcRnTypes.hs                    |  2 +-
 compiler/typecheck/TcSigs.hs                       | 10 +--
 compiler/typecheck/TcSimplify.hs                   | 12 ++--
 compiler/typecheck/TcTyClsDecls.hs                 | 22 +++----
 compiler/typecheck/TcType.hs                       | 48 ++++++--------
 compiler/typecheck/TcUnify.hs                      | 32 +++++-----
 .../tests/dependent/should_compile/T14066a.hs      |  2 +-
 .../polykinds/{SigTvKinds.hs => TyVarTvKinds.hs}   |  2 +-
 .../polykinds/{SigTvKinds2.hs => TyVarTvKinds2.hs} |  2 +-
 .../{SigTvKinds2.stderr => TyVarTvKinds2.stderr}   |  2 +-
 .../polykinds/{SigTvKinds3.hs => TyVarTvKinds3.hs} |  2 +-
 .../{SigTvKinds3.stderr => TyVarTvKinds3.stderr}   |  2 +-
 testsuite/tests/polykinds/all.T                    |  6 +-
 22 files changed, 165 insertions(+), 173 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 a50244c6a87176a4df8d41e6a1a3f102ba129032