[project @ 2000-05-25 12:41:14 by simonpj]

[ghc-hetmet.git] / ghc / compiler / usageSP / UsageSPUtils.lhs

diff --git a/ghc/compiler/usageSP/UsageSPUtils.lhs b/ghc/compiler/usageSP/UsageSPUtils.lhs
index 1628413..4fb51f0 100644 (file)
--- a/ghc/compiler/usageSP/UsageSPUtils.lhs
+++ b/ghc/compiler/usageSP/UsageSPUtils.lhs
@@ -25,9 +25,10 @@ module UsageSPUtils ( AnnotM(AnnotM), initAnnotM,
 #include "HsVersions.h"
 
 import CoreSyn
+import CoreFVs         ( mustHaveLocalBinding )
 import Literal          ( Literal(..) )
 import Var              ( Var, varName, varType, setVarType, mkUVar )
-import Id               ( mayHaveNoBinding, isExportedId )
+import Id               ( isExportedId )
 import Name             ( isLocallyDefined )
 import TypeRep          ( Type(..), TyNote(..) )  -- friend
 import Type             ( UsageAnn(..), isUsgTy, splitFunTys )
@@ -182,8 +183,7 @@ assumed true (exactly) of all imported ids.
 
 \begin{code}
 hasLocalDef :: Var -> Bool
-hasLocalDef var = isLocallyDefined var
-                  && not (mayHaveNoBinding var)
+hasLocalDef var = mustHaveLocalBinding var
 
 hasUsgInfo :: Var -> Bool
 hasUsgInfo var = (not . isLocallyDefined) var