[project @ 1996-03-19 08:58:34 by partain]

[ghc-hetmet.git] / ghc / compiler / stranal / SaAbsInt.hi

diff --git a/ghc/compiler/stranal/SaAbsInt.hi b/ghc/compiler/stranal/SaAbsInt.hi
deleted file mode 100644 (file)
index c243aee..0000000
--- a/ghc/compiler/stranal/SaAbsInt.hi
+++ /dev/null
@@ -1,14 +0,0 @@
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface SaAbsInt where
-import CoreSyn(CoreExpr)
-import Id(Id)
-import IdInfo(Demand)
-import SaLib(AbsVal, AbsValEnv, AnalysisKind)
-import UniType(UniType)
-absEval :: AnalysisKind -> CoreExpr Id Id -> AbsValEnv -> AbsVal
-findDemand :: AbsValEnv -> AbsValEnv -> CoreExpr Id Id -> Id -> Demand
-findStrictness :: (Bool, Bool) -> [UniType] -> AbsVal -> AbsVal -> [Demand]
-fixpoint :: AnalysisKind -> [Id] -> [CoreExpr Id Id] -> AbsValEnv -> [AbsVal]
-isBot :: AbsVal -> Bool
-widen :: AnalysisKind -> AbsVal -> AbsVal
-