[project @ 2000-10-23 09:03:26 by simonpj]

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

diff --git a/ghc/compiler/coreSyn/CoreUtils.lhs b/ghc/compiler/coreSyn/CoreUtils.lhs
index 05a2520..012075c 100644 (file)
--- a/ghc/compiler/coreSyn/CoreUtils.lhs
+++ b/ghc/compiler/coreSyn/CoreUtils.lhs
@@ -41,8 +41,8 @@ import PprCore                ( pprCoreExpr )
 import Var             ( Var, isId, isTyVar )
 import VarSet
 import VarEnv
-import Name            ( isLocallyDefined, hashName )
-import Literal         ( Literal, hashLiteral, literalType, litIsDupable )
+import Name            ( hashName )
+import Literal         ( hashLiteral, literalType, litIsDupable )
 import DataCon         ( DataCon, dataConRepArity )
 import PrimOp          ( primOpOkForSpeculation, primOpIsCheap, 
                          primOpIsDupable )
@@ -50,20 +50,17 @@ import Id           ( Id, idType, idFlavour, idStrictness, idLBVarInfo,
                          mkWildId, idArity, idName, idUnfolding, idInfo, 
                          isDataConId_maybe, isPrimOpId_maybe
                        )
-import IdInfo          ( arityLowerBound, InlinePragInfo(..),
-                         LBVarInfo(..),  
+import IdInfo          ( LBVarInfo(..),  
                          IdFlavour(..),
                          megaSeqIdInfo )
 import Demand          ( appIsBottom )
 import Type            ( Type, mkFunTy, mkForAllTy,
-                         splitFunTy_maybe, tyVarsOfType, tyVarsOfTypes,
+                         splitFunTy_maybe, 
                           isNotUsgTy, mkUsgTy, unUsgTy, UsageAnn(..),
                          applyTys, isUnLiftedType, seqType
                        )
-import TysWiredIn      ( boolTy, stringTy, trueDataCon, falseDataCon )
+import TysWiredIn      ( boolTy, trueDataCon, falseDataCon )
 import CostCentre      ( CostCentre )
-import Unique          ( buildIdKey, augmentIdKey )
-import Util            ( zipWithEqual, mapAccumL )
 import Maybes          ( maybeToBool )
 import Outputable
 import TysPrim         ( alphaTy )     -- Debugging only
@@ -704,8 +701,6 @@ noteSize InlineCall     = 1
 noteSize InlineMe       = 1
 noteSize (TermUsg usg)  = usg `seq` 1
 
-exprsSize = foldr ((+) . exprSize) 0 
-
 varSize :: Var -> Int
 varSize b  | isTyVar b = 1
           | otherwise = seqType (idType b)             `seq`