[commit: ghc] master: Remove TcType.toTcType (b7e80ae)

[git at git.haskell.org]

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

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

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

commit b7e80ae005d0072eda79135c371a794dc48f70e1
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon May 21 09:00:32 2018 +0100

    Remove TcType.toTcType
    
    In the olden days we insisted that only TcTyVars could appear
    in a TcType.  But now we are more accommodating; see TcType
      Note [TcTyVars and TyVars in the typechecker]
    
    This patch removes a function that converted a Type to a TcType.
    It didn't do anything useful except statisfy an invariant that
    we no longer have.  Now it's gone.


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

b7e80ae005d0072eda79135c371a794dc48f70e1
 compiler/deSugar/Check.hs    |  8 ++---
 compiler/deSugar/DsBinds.hs  |  2 +-
 compiler/deSugar/Match.hs    |  3 +-
 compiler/typecheck/TcType.hs | 76 ++++++++------------------------------------
 4 files changed, 20 insertions(+), 69 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 b7e80ae005d0072eda79135c371a794dc48f70e1