[commit: ghc] master: Remove dead code (bb50eca)

[git at git.haskell.org]

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

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

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

commit bb50ecaf2930455a6ecb7268f9c0f2ee909f5361
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jun 26 12:07:27 2018 +0100

    Remove dead code


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

bb50ecaf2930455a6ecb7268f9c0f2ee909f5361
 compiler/typecheck/TcMType.hs | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs
index ae498b2..8a96cb0 100644
--- a/compiler/typecheck/TcMType.hs
+++ b/compiler/typecheck/TcMType.hs
@@ -37,10 +37,6 @@ module TcMType (
   tauifyExpType, inferResultToType,
 
   --------------------------------
-  -- Creating fresh type variables for pm checking
-  genInstSkolTyVarsX,
-
-  --------------------------------
   -- Creating new evidence variables
   newEvVar, newEvVars, newDict,
   newWanted, newWanteds, cloneWanted, cloneWC,
@@ -777,14 +773,6 @@ See Note [TcLevel assignment] in TcType.
 % Generating fresh variables for pattern match check
 -}
 
--- UNINSTANTIATED VERSION OF tcInstSkolTyCoVars
-genInstSkolTyVarsX :: SrcSpan -> TCvSubst -> [TyVar]
-                   -> TcRnIf gbl lcl (TCvSubst, [TcTyVar])
--- Precondition: tyvars should be scoping-ordered
--- see Note [Kind substitution when instantiating]
--- Get the location from the monad; this is a complete freshening operation
-genInstSkolTyVarsX loc subst tvs
-  = instSkolTyCoVarsX (mkTcSkolTyVar topTcLevel loc False) subst tvs
 
 {-
 ************************************************************************