X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FstgSyn%2FStgSyn.hi;fp=ghc%2Fcompiler%2FstgSyn%2FStgSyn.hi;h=0000000000000000000000000000000000000000;hb=6c381e873e222417d9a67aeec77b9555eca7b7a8;hp=215db4c2b2272ed9a4989338f32fb6a7792489cb;hpb=8147a9f0bcc48ef0db1e91f8b985a4f5c3fed560;p=ghc-hetmet.git diff --git a/ghc/compiler/stgSyn/StgSyn.hi b/ghc/compiler/stgSyn/StgSyn.hi deleted file mode 100644 index 215db4c..0000000 --- a/ghc/compiler/stgSyn/StgSyn.hi +++ /dev/null @@ -1,165 +0,0 @@ -{-# GHC_PRAGMA INTERFACE VERSION 5 #-} -interface StgSyn where -import Bag(Bag) -import BasicLit(BasicLit) -import CharSeq(CSeq) -import Class(Class, ClassOp) -import CmdLineOpts(GlobalSwitch) -import CostCentre(CostCentre) -import HsBinds(Binds) -import HsExpr(Expr) -import HsMatches(GRHS, GRHSsAndBinds) -import HsPat(InPat) -import Id(Id) -import IdEnv(IdEnv(..)) -import IdInfo(IdInfo) -import Maybes(Labda) -import Name(Name) -import NameTypes(FullName, ShortName) -import Outputable(ExportFlag, NamedThing(..), Outputable(..)) -import PreludePS(_PackedString) -import PreludeRatio(Ratio(..)) -import Pretty(Delay, PprStyle, Pretty(..), PrettyRep) -import PrimKind(PrimKind) -import PrimOps(PrimOp) -import SrcLoc(SrcLoc) -import TyCon(TyCon) -import TyVar(TyVar, TyVarTemplate) -import TyVarEnv(TyVarEnv(..)) -import UniType(SigmaType(..), TauType(..), ThetaType(..), UniType) -import UniqFM(UniqFM) -import UniqSet(UniqSet(..)) -import Unique(Unique) -class NamedThing a where - getExportFlag :: a -> ExportFlag - isLocallyDefined :: a -> Bool - getOrigName :: a -> (_PackedString, _PackedString) - getOccurrenceName :: a -> _PackedString - getInformingModules :: a -> [_PackedString] - getSrcLoc :: a -> SrcLoc - getTheUnique :: a -> Unique - hasType :: a -> Bool - getType :: a -> UniType - fromPreludeCore :: a -> Bool -class Outputable a where - ppr :: PprStyle -> a -> Int -> Bool -> PrettyRep -data Bag a -data BasicLit -data Class -data ClassOp -data CostCentre -data Binds a b -data Expr a b -data GRHS a b -data GRHSsAndBinds a b -data InPat a -data Id -type IdEnv a = UniqFM a -data IdInfo -data Labda a -data Name -data FullName -data ShortName -data ExportFlag -type PlainStgAtom = StgAtom Id -type PlainStgBinding = StgBinding Id Id -type PlainStgCaseAlternatives = StgCaseAlternatives Id Id -type PlainStgCaseDefault = StgCaseDefault Id Id -type PlainStgExpr = StgExpr Id Id -type PlainStgLiveVars = UniqFM Id -type PlainStgProgram = [StgBinding Id Id] -type PlainStgRhs = StgRhs Id Id -data PprStyle -type Pretty = Int -> Bool -> PrettyRep -data PrettyRep -data PrimKind -data PrimOp -data SrcLoc -data StgAtom a = StgVarAtom a | StgLitAtom BasicLit -data StgBinderInfo = NoStgBinderInfo | StgBinderInfo Bool Bool Bool Bool Bool -data StgBinding a b = StgNonRec a (StgRhs a b) | StgRec [(a, StgRhs a b)] -data StgCaseAlternatives a b = StgAlgAlts UniType [(Id, [a], [Bool], StgExpr a b)] (StgCaseDefault a b) | StgPrimAlts UniType [(BasicLit, StgExpr a b)] (StgCaseDefault a b) -data StgCaseDefault a b = StgNoDefault | StgBindDefault a Bool (StgExpr a b) -data StgExpr a b = StgApp (StgAtom b) [StgAtom b] (UniqFM b) | StgConApp Id [StgAtom b] (UniqFM b) | StgPrimApp PrimOp [StgAtom b] (UniqFM b) | StgCase (StgExpr a b) (UniqFM b) (UniqFM b) Unique (StgCaseAlternatives a b) | StgLet (StgBinding a b) (StgExpr a b) | StgLetNoEscape (UniqFM b) (UniqFM b) (StgBinding a b) (StgExpr a b) | StgSCC UniType CostCentre (StgExpr a b) -type StgLiveVars a = UniqFM a -data StgRhs a b = StgRhsClosure CostCentre StgBinderInfo [b] UpdateFlag [a] (StgExpr a b) | StgRhsCon CostCentre Id [StgAtom b] -data TyCon -data TyVar -data TyVarTemplate -type TyVarEnv a = UniqFM a -type SigmaType = UniType -type TauType = UniType -type ThetaType = [(Class, UniType)] -data UniType -data UniqFM a -type UniqSet a = UniqFM a -data Unique -data UpdateFlag = ReEntrant | Updatable | SingleEntry -collectExportedStgBinders :: [StgBinding Id Id] -> [Id] -combineStgBinderInfo :: StgBinderInfo -> StgBinderInfo -> StgBinderInfo -getAtomKind :: StgAtom Id -> PrimKind -isLitLitStgAtom :: StgAtom a -> Bool -pprPlainStgBinding :: PprStyle -> StgBinding Id Id -> Int -> Bool -> PrettyRep -stgArgOcc :: StgBinderInfo -stgArity :: StgRhs Id Id -> Int -stgFakeFunAppOcc :: StgBinderInfo -stgNoUpdHeapOcc :: StgBinderInfo -stgNormalOcc :: StgBinderInfo -stgStdHeapOcc :: StgBinderInfo -stgUnsatOcc :: StgBinderInfo -instance Eq BasicLit -instance Eq Class -instance Eq ClassOp -instance Eq Id -instance Eq PrimKind -instance Eq PrimOp -instance Eq TyCon -instance Eq TyVar -instance Eq TyVarTemplate -instance Eq UniType -instance Eq Unique -instance Ord BasicLit -instance Ord Class -instance Ord ClassOp -instance Ord Id -instance Ord PrimKind -instance Ord TyCon -instance Ord TyVar -instance Ord TyVarTemplate -instance Ord Unique -instance NamedThing Class -instance NamedThing a => NamedThing (InPat a) -instance NamedThing Id -instance NamedThing FullName -instance NamedThing ShortName -instance NamedThing TyCon -instance NamedThing TyVar -instance NamedThing TyVarTemplate -instance (Outputable a, Outputable b) => Outputable (a, b) -instance (Outputable a, Outputable b, Outputable c) => Outputable (a, b, c) -instance Outputable BasicLit -instance Outputable Bool -instance Outputable Class -instance Outputable ClassOp -instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Binds a b) -instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (Expr a b) -instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (GRHS a b) -instance (NamedThing a, Outputable a, NamedThing b, Outputable b) => Outputable (GRHSsAndBinds a b) -instance Outputable a => Outputable (InPat a) -instance Outputable Id -instance Outputable FullName -instance Outputable ShortName -instance Outputable PrimKind -instance Outputable PrimOp -instance Outputable a => Outputable (StgAtom a) -instance (Outputable a, Outputable b, Ord b) => Outputable (StgBinding a b) -instance (Outputable a, Outputable b, Ord b) => Outputable (StgExpr a b) -instance (Outputable a, Outputable b, Ord b) => Outputable (StgRhs a b) -instance Outputable UpdateFlag -instance Outputable TyCon -instance Outputable TyVar -instance Outputable TyVarTemplate -instance Outputable UniType -instance Outputable a => Outputable [a] -instance Text Unique -