+++ /dev/null
-{-# 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]
-