1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface RenameBinds4 where
4 import CmdLineOpts(GlobalSwitch)
5 import ErrUtils(Error(..))
6 import FiniteMap(FiniteMap)
7 import HsBinds(Bind, Binds, MonoBinds, Sig)
10 import HsMatches(GRHSsAndBinds, Match)
16 import NameTypes(FullName, ShortName)
17 import PreludePS(_PackedString)
18 import Pretty(PprStyle, Pretty(..), PrettyRep)
19 import ProtoName(ProtoName)
20 import RenameAuxFuns(GlobalNameFun(..))
21 import SplitUniq(SplitUniqSupply)
26 import UniqSet(UniqSet(..))
29 type Error = PprStyle -> Int -> Bool -> PrettyRep
31 type DefinedVars = UniqFM Name
32 type FreeVars = UniqFM Name
38 type Pretty = Int -> Bool -> PrettyRep
41 type GlobalNameFun = ProtoName -> Labda Name
45 type UniqSet a = UniqFM a
47 rnBinds4 :: Binds ProtoName (InPat ProtoName) -> (GlobalSwitch -> Bool) -> (ProtoName -> Labda Name, ProtoName -> Labda Name) -> FiniteMap _PackedString Name -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SplitUniqSupply -> SrcLoc -> ((Binds Name (InPat Name), UniqFM Name, [Name]), Bag (PprStyle -> Int -> Bool -> PrettyRep))
48 rnMethodBinds4 :: Name -> MonoBinds ProtoName (InPat ProtoName) -> (GlobalSwitch -> Bool) -> (ProtoName -> Labda Name, ProtoName -> Labda Name) -> FiniteMap _PackedString Name -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SplitUniqSupply -> SrcLoc -> (MonoBinds Name (InPat Name), Bag (PprStyle -> Int -> Bool -> PrettyRep))
49 rnTopBinds4 :: Binds ProtoName (InPat ProtoName) -> (GlobalSwitch -> Bool) -> (ProtoName -> Labda Name, ProtoName -> Labda Name) -> FiniteMap _PackedString Name -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SplitUniqSupply -> SrcLoc -> (Binds Name (InPat Name), Bag (PprStyle -> Int -> Bool -> PrettyRep))