diff options
Diffstat (limited to 'ghc/compiler/abstractSyn/HsBinds.hi')
| -rw-r--r-- | ghc/compiler/abstractSyn/HsBinds.hi | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/ghc/compiler/abstractSyn/HsBinds.hi b/ghc/compiler/abstractSyn/HsBinds.hi deleted file mode 100644 index f161e8c625..0000000000 --- a/ghc/compiler/abstractSyn/HsBinds.hi +++ /dev/null @@ -1,43 +0,0 @@ -{-# GHC_PRAGMA INTERFACE VERSION 5 #-} -interface HsBinds where -import HsExpr(Expr) -import HsMatches(GRHSsAndBinds, Match) -import HsPat(InPat, TypecheckedPat) -import HsPragmas(ClassOpPragmas, GenPragmas) -import HsTypes(PolyType) -import Id(Id) -import Inst(Inst) -import Maybes(Labda) -import Name(Name) -import Outputable(NamedThing, Outputable) -import PreludePS(_PackedString) -import ProtoName(ProtoName) -import SimplEnv(UnfoldingGuidance) -import SrcLoc(SrcLoc) -import TyVar(TyVar) -data Bind a b = EmptyBind | NonRecBind (MonoBinds a b) | RecBind (MonoBinds a b) -data Binds a b = EmptyBinds | ThenBinds (Binds a b) (Binds a b) | SingleBind (Bind a b) | BindWith (Bind a b) [Sig a] | AbsBinds [TyVar] [Id] [(Id, Id)] [(Inst, Expr a b)] (Bind a b) -data MonoBinds a b = EmptyMonoBinds | AndMonoBinds (MonoBinds a b) (MonoBinds a b) | PatMonoBind b (GRHSsAndBinds a b) SrcLoc | VarMonoBind Id (Expr a b) | FunMonoBind a [Match a b] SrcLoc -type ProtoNameBind = Bind ProtoName (InPat ProtoName) -type ProtoNameBinds = Binds ProtoName (InPat ProtoName) -type ProtoNameClassOpSig = Sig ProtoName -type ProtoNameMonoBinds = MonoBinds ProtoName (InPat ProtoName) -type ProtoNameSig = Sig ProtoName -type RenamedBind = Bind Name (InPat Name) -type RenamedBinds = Binds Name (InPat Name) -type RenamedClassOpSig = Sig Name -type RenamedMonoBinds = MonoBinds Name (InPat Name) -type RenamedSig = Sig Name -data Sig a = Sig a (PolyType a) (GenPragmas a) SrcLoc | ClassOpSig a (PolyType a) (ClassOpPragmas a) SrcLoc | SpecSig a (PolyType a) (Labda a) SrcLoc | InlineSig a UnfoldingGuidance SrcLoc | DeforestSig a SrcLoc | MagicUnfoldingSig a _PackedString SrcLoc -type TypecheckedBind = Bind Id TypecheckedPat -type TypecheckedBinds = Binds Id TypecheckedPat -type TypecheckedMonoBinds = MonoBinds Id TypecheckedPat -bindIsRecursive :: Bind Id TypecheckedPat -> Bool -nullBind :: Bind a b -> Bool -nullBinds :: Binds a b -> Bool -nullMonoBinds :: MonoBinds a b -> Bool -instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Bind a b) -instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Binds a b) -instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (MonoBinds a b) -instance Outputable a => Outputable (Sig a) - |