diff options
Diffstat (limited to 'ghc/compiler/rename/RenameAuxFuns.hi')
-rw-r--r-- | ghc/compiler/rename/RenameAuxFuns.hi | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/ghc/compiler/rename/RenameAuxFuns.hi b/ghc/compiler/rename/RenameAuxFuns.hi new file mode 100644 index 0000000000..708da6d9c9 --- /dev/null +++ b/ghc/compiler/rename/RenameAuxFuns.hi @@ -0,0 +1,19 @@ +{-# GHC_PRAGMA INTERFACE VERSION 5 #-} +interface RenameAuxFuns where +import Bag(Bag) +import Maybes(Labda) +import Name(Name) +import PreludePS(_PackedString) +import ProtoName(ProtoName) +data Bag a {-# GHC_PRAGMA EmptyBag | UnitBag a | TwoBags (Bag a) (Bag a) | ListOfBags [Bag a] #-} +type GlobalNameFun = ProtoName -> Labda Name +type GlobalNameFuns = (ProtoName -> Labda Name, ProtoName -> Labda Name) +data Labda a {-# GHC_PRAGMA Hamna | Ni a #-} +type PreludeNameFun = _PackedString -> Labda Name +type PreludeNameFuns = (_PackedString -> Labda Name, _PackedString -> Labda Name) +data ProtoName {-# GHC_PRAGMA Unk _PackedString | Imp _PackedString _PackedString [_PackedString] _PackedString | Prel Name #-} +mkGlobalNameFun :: _PackedString -> (_PackedString -> Labda Name) -> [(ProtoName, Name)] -> ProtoName -> Labda Name + {-# GHC_PRAGMA _A_ 3 _U_ 2111 _N_ _N_ _N_ _N_ #-} +mkNameFun :: Bag (_PackedString, a) -> (_PackedString -> Labda a, [[(_PackedString, a)]]) + {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-} + |