X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2FsimplCore%2FSimplify.lhs;h=dffdd75212206ead238a652ac81f1e75551ddc9c;hb=f37e239fb5e81fc493e0ea1af98178bf1f7ceaba;hp=f477038f5d69b3574a262c09608838f70b5af7e6;hpb=29e736b7089d535b53e3f02ef04d36331921e42a;p=ghc-hetmet.git diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs index f477038..dffdd75 100644 --- a/compiler/simplCore/Simplify.lhs +++ b/compiler/simplCore/Simplify.lhs @@ -26,8 +26,6 @@ import Id ( Id, idType, idInfo, idArity, isDataConWorkId, idNewDemandInfo, setIdInfo, setIdOccInfo, zapLamIdInfo, setOneShotLambda ) -import MkId ( eRROR_ID ) -import Literal ( mkStringLit ) import IdInfo ( OccInfo(..), isLoopBreaker, setArityInfo, zapDemandInfo, setUnfoldingInfo, @@ -35,7 +33,7 @@ import IdInfo ( OccInfo(..), isLoopBreaker, ) import NewDemand ( isStrictDmd ) import TcGadt ( dataConCanMatch ) -import DataCon ( DataCon, dataConTyCon, dataConRepStrictness ) +import DataCon ( dataConTyCon, dataConRepStrictness ) import TyCon ( tyConArity, isAlgTyCon, isNewTyCon, tyConDataCons_maybe ) import CoreSyn import PprCore ( pprParendExpr, pprCoreExpr ) @@ -51,13 +49,11 @@ import Rules ( lookupRule ) import BasicTypes ( isMarkedStrict ) import CostCentre ( currentCCS ) import Type ( TvSubstEnv, isUnLiftedType, seqType, tyConAppArgs, funArgTy, - splitFunTy_maybe, splitFunTy, coreEqType, splitTyConApp_maybe, - isTyVarTy, mkTyVarTys, isFunTy, tcEqType + coreEqType, splitTyConApp_maybe, + isTyVarTy, isFunTy, tcEqType ) import Coercion ( Coercion, coercionKind, - mkTransCoercion, mkLeftCoercion, mkRightCoercion, - mkSymCoercion, splitCoercionKind_maybe, decomposeCo ) -import Var ( tyVarKind, mkTyVar ) + mkTransCoercion, mkSymCoercion, splitCoercionKind_maybe, decomposeCo ) import VarEnv ( elemVarEnv, emptyVarEnv ) import TysPrim ( realWorldStatePrimTy ) import PrelInfo ( realWorldPrimId )