diff --git a/ghc/compiler/coreSyn/CoreLint.lhs b/ghc/compiler/coreSyn/CoreLint.lhs
index 62a89033456e19cf313ff079f7637cdd07390ea3..6bf156d2524986957df5f592de2b8a07969e5d4b 100644
--- a/ghc/compiler/coreSyn/CoreLint.lhs
+++ b/ghc/compiler/coreSyn/CoreLint.lhs
@@ -39,7 +39,6 @@ import Type		( Type, tyVarsOfType,
 			  isUnboxedTupleType,
 			  hasMoreBoxityInfo
 			)
-import PprType		( {- instance Outputable Type -} )
 import TyCon		( TyCon, isPrimTyCon, tyConDataCons )
 import BasicTypes	( RecFlag(..), isNonRec )
 import Maybe
diff --git a/ghc/compiler/coreSyn/CoreTidy.lhs b/ghc/compiler/coreSyn/CoreTidy.lhs
index a1bd8ff2c1f088b728a99eecade31261c69474df..f3ba9c4ecf3acbbe4dab7084a6c9e797b21b6399 100644
--- a/ghc/compiler/coreSyn/CoreTidy.lhs
+++ b/ghc/compiler/coreSyn/CoreTidy.lhs
@@ -26,7 +26,6 @@ import Id		( idType, idInfo, idName, idSpecialisation,
 			  idDemandInfo, setIdDemandInfo,
 			) 
 import IdInfo		( specInfo, setSpecInfo, 
-			  inlinePragInfo, setInlinePragInfo, InlinePragInfo(..),
 			  setUnfoldingInfo, setDemandInfo,
 			  workerInfo, setWorkerInfo, WorkerInfo(..)
 			)
@@ -39,7 +38,6 @@ import UniqSupply	( UniqSupply )
 import Unique		( Uniquable(..) )
 import SrcLoc		( noSrcLoc )
 import Util		( mapAccumL )
-import Outputable
 \end{code}
 
 
diff --git a/ghc/compiler/coreSyn/CoreUnfold.lhs b/ghc/compiler/coreSyn/CoreUnfold.lhs
index 02db3cbf640096b0b87e04c37ec00c0198753a8d..463326eab05d43fb785dd4ef7b6066b4ca2986a1 100644
--- a/ghc/compiler/coreSyn/CoreUnfold.lhs
+++ b/ghc/compiler/coreSyn/CoreUnfold.lhs
@@ -44,14 +44,12 @@ import CmdLineOpts	( opt_UF_CreationThreshold,
 import CoreSyn
 import PprCore		( pprCoreExpr )
 import OccurAnal	( occurAnalyseGlobalExpr )
-import BinderInfo	( )
 import CoreUtils	( exprIsValue, exprIsCheap, exprIsBottom, exprIsTrivial )
 import Id		( Id, idType, idFlavour, isId, idWorkerInfo,
 			  idSpecialisation, idInlinePragma, idUnfolding,
 			  isPrimOpId_maybe
 			)
 import VarSet
-import Name		( isLocallyDefined )
 import Literal		( isLitLitLit )
 import PrimOp		( PrimOp(..), primOpIsDupable, primOpOutOfLine, ccallIsCasm )
 import IdInfo		( ArityInfo(..), InlinePragInfo(..), OccInfo(..), IdFlavour(..), CprInfo(..), 
@@ -59,10 +57,7 @@ import IdInfo		( ArityInfo(..), InlinePragInfo(..), OccInfo(..), IdFlavour(..),
 			)
 import Type		( splitFunTy_maybe, isUnLiftedType )
 import Unique		( Unique, buildIdKey, augmentIdKey, hasKey )
-import Maybes		( maybeToBool )
 import Bag
-import List		( maximumBy )
-import Util		( isIn, lengthExceeds )
 import Outputable
 
 #if __GLASGOW_HASKELL__ >= 404
diff --git a/ghc/compiler/coreSyn/Subst.lhs b/ghc/compiler/coreSyn/Subst.lhs
index 1f4c3b84954ba077686ffb9365bd7ac9edc699eb..22128efc383cc029fb872360d0bbf8bc50359435 100644
--- a/ghc/compiler/coreSyn/Subst.lhs
+++ b/ghc/compiler/coreSyn/Subst.lhs
@@ -49,7 +49,6 @@ import IdInfo		( IdInfo, isFragileOccInfo,
 			  specInfo, setSpecInfo, 
 			  WorkerInfo(..), workerExists, workerInfo, setWorkerInfo, WorkerInfo
 			)
-import BasicTypes	( OccInfo(..) )
 import UniqSupply	( UniqSupply, uniqFromSupply, splitUniqSupply )
 import Var		( Var, Id, TyVar, isTyVar )
 import Outputable