[commit: ghc] master: Kill dead code (4d84cc2)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/4d84cc252841549ea0856d33ea3df58ac0677610

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

commit 4d84cc252841549ea0856d33ea3df58ac0677610
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Feb 17 13:51:28 2012 +0000

    Kill dead code

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

 compiler/coreSyn/CoreFVs.lhs |   16 +++-------------
 1 files changed, 3 insertions(+), 13 deletions(-)

diff --git a/compiler/coreSyn/CoreFVs.lhs b/compiler/coreSyn/CoreFVs.lhs
index 16d4044..369f1a3 100644
--- a/compiler/coreSyn/CoreFVs.lhs
+++ b/compiler/coreSyn/CoreFVs.lhs
@@ -18,7 +18,7 @@ module CoreFVs (
         exprSomeFreeVars, exprsSomeFreeVars,
 
         -- * Free variables of Rules, Vars and Ids
-        varTypeTyVars, varTypeTcTyVars,
+        varTypeTyVars, 
         idUnfoldingVars, idFreeVars, idRuleAndUnfoldingVars,
         idRuleVars, idRuleRhsVars, stableUnfoldingVars,
         ruleRhsFreeVars, rulesFreeVars,
@@ -406,18 +406,8 @@ delBinderFV b s = (s `delVarSet` b) `unionFVs` varTypeTyVars b
         -- Include coercion variables too!
 
 varTypeTyVars :: Var -> TyVarSet
--- Find the type variables free in the type of the variable
--- Remember, coercion variables can mention type variables...
-varTypeTyVars var
-  | isLocalId var = tyVarsOfType (idType var)
-  | otherwise     = emptyVarSet -- Global Ids and non-coercion TyVars
-
-varTypeTcTyVars :: Var -> TyVarSet
--- Find the type variables free in the type of the variable
--- Remember, coercion variables can mention type variables...
-varTypeTcTyVars var
-  | isLocalId var = tyVarsOfType (idType var)
-  | otherwise     = emptyVarSet -- Global Ids and non-coercion TyVars
+-- Find the type/kind variables free in the type of the id/tyvar
+varTypeTyVars var = tyVarsOfType (varType var)
 
 idFreeVars :: Id -> VarSet
 -- Type variables, rule variables, and inline variables