[project @ 2001-03-08 12:07:38 by simonpj]

[ghc-hetmet.git] / ghc / compiler / coreSyn / CoreFVs.lhs

diff --git a/ghc/compiler/coreSyn/CoreFVs.lhs b/ghc/compiler/coreSyn/CoreFVs.lhs
index d170a3b..4729b20 100644 (file)
--- a/ghc/compiler/coreSyn/CoreFVs.lhs
+++ b/ghc/compiler/coreSyn/CoreFVs.lhs
@@ -5,8 +5,6 @@ Taken quite directly from the Peyton Jones/Lester paper.
 
 \begin{code}
 module CoreFVs (
-       isLocalVar, mustHaveLocalBinding,
-
        exprFreeVars,   -- CoreExpr -> VarSet   -- Find all locally-defined free Ids or tyvars
        exprsFreeVars,  -- [CoreExpr] -> VarSet
 
@@ -26,7 +24,7 @@ module CoreFVs (
 import CoreSyn
 import Id              ( Id, idType, isLocalId, hasNoBinding, idSpecialisation )
 import VarSet
-import Var             ( Var, isId )
+import Var             ( Var, isId, isLocalVar )
 import Type            ( tyVarsOfType )
 import Util            ( mapAndUnzip )
 import Outputable
@@ -35,29 +33,6 @@ import Outputable
 
 %************************************************************************
 %*                                                                     *
-\subsection{isLocalVar}
-%*                                                                     *
-%************************************************************************
-
-@isLocalVar@ returns True of all TyVars, and of Ids that are defined in 
-this module and are not constants like data constructors and record selectors.
-These are the variables that we need to pay attention to when finding free
-variables, or doing dependency analysis.
-
-\begin{code}
-isLocalVar :: Var -> Bool
-isLocalVar v = isTyVar v || isLocalId v
-\end{code}
-
-\begin{code}
-mustHaveLocalBinding :: Var -> Bool
--- True <=> the variable must have a binding in this module
-mustHaveLocalBinding v = isTyVar v || (isLocalId v && not (hasNoBinding v))
-\end{code}
-
-
-%************************************************************************
-%*                                                                     *
 \section{Finding the free variables of an expression}
 %*                                                                     *
 %************************************************************************