X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fdeforest%2FDefUtils.hi;fp=ghc%2Fcompiler%2Fdeforest%2FDefUtils.hi;h=0000000000000000000000000000000000000000;hb=6c381e873e222417d9a67aeec77b9555eca7b7a8;hp=bef19d3dd1ad38bdc7b20a8dff329991aca80bba;hpb=8147a9f0bcc48ef0db1e91f8b985a4f5c3fed560;p=ghc-hetmet.git diff --git a/ghc/compiler/deforest/DefUtils.hi b/ghc/compiler/deforest/DefUtils.hi deleted file mode 100644 index bef19d3..0000000 --- a/ghc/compiler/deforest/DefUtils.hi +++ /dev/null @@ -1,27 +0,0 @@ -{-# GHC_PRAGMA INTERFACE VERSION 3 #-} -interface DefUtils where -import CoreSyn(CoreAtom, CoreCaseAlternatives, CoreExpr) -import DefSyn(DefBindee) -import Id(Id) -import SplitUniq(SplitUniqSupply) -import TyVar(TyVar) -import UniType(UniType) -data RenameResult = NotRenaming | IsRenaming [(Id, Id)] | InconsistentRenaming [(Id, Id)] -atom2expr :: CoreAtom DefBindee -> CoreExpr Id DefBindee -consistent :: [(Id, Id)] -> Bool -deforestable :: Id -> Bool -foldrSUs :: (a -> b -> SplitUniqSupply -> b) -> b -> [a] -> SplitUniqSupply -> b -freeTyVars :: CoreExpr Id DefBindee -> [TyVar] -freeVars :: CoreExpr Id DefBindee -> [Id] -isArgId :: Id -> Bool -mkDefLetrec :: [(a, CoreExpr a b)] -> CoreExpr a b -> CoreExpr a b -newDefId :: UniType -> SplitUniqSupply -> Id -newTmpId :: UniType -> SplitUniqSupply -> Id -rebindExpr :: CoreExpr Id DefBindee -> SplitUniqSupply -> CoreExpr Id DefBindee -renameExprs :: CoreExpr Id DefBindee -> CoreExpr Id DefBindee -> SplitUniqSupply -> RenameResult -strip :: CoreExpr Id DefBindee -> CoreExpr Id DefBindee -stripAtom :: CoreAtom DefBindee -> CoreAtom DefBindee -stripCaseAlts :: CoreCaseAlternatives Id DefBindee -> CoreCaseAlternatives Id DefBindee -subst :: [(Id, CoreExpr Id DefBindee)] -> CoreExpr Id DefBindee -> SplitUniqSupply -> CoreExpr Id DefBindee -union :: Eq a => [a] -> [a] -> [a] -