[project @ 1996-01-08 20:28:12 by partain]
[ghc-hetmet.git] / ghc / compiler / rename / RenameAuxFuns.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface RenameAuxFuns where
3 import Bag(Bag)
4 import Maybes(Labda)
5 import Name(Name)
6 import PreludePS(_PackedString)
7 import ProtoName(ProtoName)
8 data Bag a      {-# GHC_PRAGMA EmptyBag | UnitBag a | TwoBags (Bag a) (Bag a) | ListOfBags [Bag a] #-}
9 type GlobalNameFun = ProtoName -> Labda Name
10 type GlobalNameFuns = (ProtoName -> Labda Name, ProtoName -> Labda Name)
11 data Labda a    {-# GHC_PRAGMA Hamna | Ni a #-}
12 type PreludeNameFun = _PackedString -> Labda Name
13 type PreludeNameFuns = (_PackedString -> Labda Name, _PackedString -> Labda Name)
14 data ProtoName  {-# GHC_PRAGMA Unk _PackedString | Imp _PackedString _PackedString [_PackedString] _PackedString | Prel Name #-}
15 mkGlobalNameFun :: _PackedString -> (_PackedString -> Labda Name) -> [(ProtoName, Name)] -> ProtoName -> Labda Name
16         {-# GHC_PRAGMA _A_ 3 _U_ 2111 _N_ _N_ _N_ _N_ #-}
17 mkNameFun :: Bag (_PackedString, a) -> (_PackedString -> Labda a, [[(_PackedString, a)]])
18         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
19