[project @ 1996-03-22 09:24:22 by partain]

[ghc-hetmet.git] / ghc / compiler / abstractSyn / HsCore.hi

diff --git a/ghc/compiler/abstractSyn/HsCore.hi b/ghc/compiler/abstractSyn/HsCore.hi
deleted file mode 100644 (file)
index 327c11e..0000000
--- a/ghc/compiler/abstractSyn/HsCore.hi
+++ /dev/null
@@ -1,23 +0,0 @@
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface HsCore where
-import BasicLit(BasicLit)
-import HsTypes(MonoType, PolyType)
-import Maybes(Labda)
-import Outputable(Outputable)
-import PreludePS(_PackedString)
-import PrimOps(PrimOp)
-import ProtoName(ProtoName)
-data UfCostCentre a   = UfPreludeDictsCC Bool | UfAllDictsCC _PackedString _PackedString Bool | UfUserCC _PackedString _PackedString _PackedString Bool Bool | UfAutoCC (UfId a) _PackedString _PackedString Bool Bool | UfDictCC (UfId a) _PackedString _PackedString Bool Bool
-data UfId a   = BoringUfId a | SuperDictSelUfId a a | ClassOpUfId a a | DictFunUfId a (PolyType a) | ConstMethodUfId a a (PolyType a) | DefaultMethodUfId a a | SpecUfId (UfId a) [Labda (MonoType a)] | WorkerUfId (UfId a)
-data UnfoldingCoreAlts a   = UfCoAlgAlts [(a, [(a, PolyType a)], UnfoldingCoreExpr a)] (UnfoldingCoreDefault a) | UfCoPrimAlts [(BasicLit, UnfoldingCoreExpr a)] (UnfoldingCoreDefault a)
-data UnfoldingCoreAtom a   = UfCoVarAtom (UfId a) | UfCoLitAtom BasicLit
-data UnfoldingCoreBinding a   = UfCoNonRec (a, PolyType a) (UnfoldingCoreExpr a) | UfCoRec [((a, PolyType a), UnfoldingCoreExpr a)]
-data UnfoldingCoreDefault a   = UfCoNoDefault | UfCoBindDefault (a, PolyType a) (UnfoldingCoreExpr a)
-data UnfoldingCoreExpr a   = UfCoVar (UfId a) | UfCoLit BasicLit | UfCoCon a [PolyType a] [UnfoldingCoreAtom a] | UfCoPrim (UnfoldingPrimOp a) [PolyType a] [UnfoldingCoreAtom a] | UfCoLam [(a, PolyType a)] (UnfoldingCoreExpr a) | UfCoTyLam a (UnfoldingCoreExpr a) | UfCoApp (UnfoldingCoreExpr a) (UnfoldingCoreAtom a) | UfCoTyApp (UnfoldingCoreExpr a) (PolyType a) | UfCoCase (UnfoldingCoreExpr a) (UnfoldingCoreAlts a) | UfCoLet (UnfoldingCoreBinding a) (UnfoldingCoreExpr a) | UfCoSCC (UfCostCentre a) (UnfoldingCoreExpr a)
-data UnfoldingPrimOp a   = UfCCallOp _PackedString Bool Bool [PolyType a] (PolyType a) | UfOtherOp PrimOp
-type UnfoldingType a = PolyType a
-eqUfExpr :: UnfoldingCoreExpr ProtoName -> UnfoldingCoreExpr ProtoName -> Bool
-instance Outputable a => Outputable (UnfoldingCoreAtom a)
-instance Outputable a => Outputable (UnfoldingCoreExpr a)
-instance Outputable a => Outputable (UnfoldingPrimOp a)
-