X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FcoreSyn%2FCoreSyn.hi;fp=ghc%2Fcompiler%2FcoreSyn%2FCoreSyn.hi;h=0000000000000000000000000000000000000000;hb=6c381e873e222417d9a67aeec77b9555eca7b7a8;hp=e8745538cc508a5b9e3227dae7f6526ed18e8d13;hpb=8147a9f0bcc48ef0db1e91f8b985a4f5c3fed560;p=ghc-hetmet.git diff --git a/ghc/compiler/coreSyn/CoreSyn.hi b/ghc/compiler/coreSyn/CoreSyn.hi deleted file mode 100644 index e874553..0000000 --- a/ghc/compiler/coreSyn/CoreSyn.hi +++ /dev/null @@ -1,46 +0,0 @@ -{-# GHC_PRAGMA INTERFACE VERSION 5 #-} -interface CoreSyn where -import BasicLit(BasicLit) -import CharSeq(CSeq) -import CmdLineOpts(GlobalSwitch) -import CostCentre(CostCentre) -import Id(Id) -import Maybes(Labda) -import Outputable(Outputable) -import PreludePS(_PackedString) -import PreludeRatio(Ratio(..)) -import Pretty(Delay, PprStyle, PrettyRep) -import PrimKind(PrimKind) -import PrimOps(PrimOp) -import TyCon(TyCon) -import TyVar(TyVar) -import UniType(UniType) -data BasicLit -data CoreArg a = TypeArg UniType | ValArg (CoreAtom a) -data CoreAtom a = CoVarAtom a | CoLitAtom BasicLit -data CoreBinding a b = CoNonRec a (CoreExpr a b) | CoRec [(a, CoreExpr a b)] -data CoreCaseAlternatives a b = CoAlgAlts [(Id, [a], CoreExpr a b)] (CoreCaseDefault a b) | CoPrimAlts [(BasicLit, CoreExpr a b)] (CoreCaseDefault a b) -data CoreCaseDefault a b = CoNoDefault | CoBindDefault a (CoreExpr a b) -data CoreExpr a b = CoVar b | CoLit BasicLit | CoCon Id [UniType] [CoreAtom b] | CoPrim PrimOp [UniType] [CoreAtom b] | CoLam [a] (CoreExpr a b) | CoTyLam TyVar (CoreExpr a b) | CoApp (CoreExpr a b) (CoreAtom b) | CoTyApp (CoreExpr a b) UniType | CoCase (CoreExpr a b) (CoreCaseAlternatives a b) | CoLet (CoreBinding a b) (CoreExpr a b) | CoSCC CostCentre (CoreExpr a b) -data CostCentre -data Id -data Labda a -data PprStyle -data PrettyRep -data PrimOp -data TyCon -data TyVar -data UniType -applyToArgs :: CoreExpr a b -> [CoreArg b] -> CoreExpr a b -collectArgs :: CoreExpr a b -> (CoreExpr a b, [CoreArg b]) -decomposeArgs :: [CoreArg a] -> ([UniType], [CoreAtom a], [CoreArg a]) -mkCoTyApp :: CoreExpr a b -> UniType -> CoreExpr a b -pprCoreBinding :: PprStyle -> (PprStyle -> a -> Int -> Bool -> PrettyRep) -> (PprStyle -> a -> Int -> Bool -> PrettyRep) -> (PprStyle -> b -> Int -> Bool -> PrettyRep) -> CoreBinding a b -> Int -> Bool -> PrettyRep -pprCoreExpr :: PprStyle -> (PprStyle -> a -> Int -> Bool -> PrettyRep) -> (PprStyle -> a -> Int -> Bool -> PrettyRep) -> (PprStyle -> b -> Int -> Bool -> PrettyRep) -> CoreExpr a b -> Int -> Bool -> PrettyRep -instance Outputable a => Outputable (CoreArg a) -instance Outputable a => Outputable (CoreAtom a) -instance (Outputable a, Outputable b) => Outputable (CoreBinding a b) -instance (Outputable a, Outputable b) => Outputable (CoreCaseAlternatives a b) -instance (Outputable a, Outputable b) => Outputable (CoreCaseDefault a b) -instance (Outputable a, Outputable b) => Outputable (CoreExpr a b) -