X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fstranal%2FSaAbsInt.hi;fp=ghc%2Fcompiler%2Fstranal%2FSaAbsInt.hi;h=e250613fcdb796e70762531d8d09738873c1b071;hb=e7d21ee4f8ac907665a7e170c71d59e13a01da09;hp=0000000000000000000000000000000000000000;hpb=e48474bff05e6cfb506660420f025f694c870d38;p=ghc-hetmet.git

diff --git a/ghc/compiler/stranal/SaAbsInt.hi b/ghc/compiler/stranal/SaAbsInt.hi
new file mode 100644
index 0000000..e250613
--- /dev/null
+++ b/ghc/compiler/stranal/SaAbsInt.hi
@@ -0,0 +1,20 @@
+{-# 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
+	{-# GHC_PRAGMA _A_ 3 _U_ 222 _N_ _S_ "LSL" _N_ _N_ #-}
+findDemand :: AbsValEnv -> AbsValEnv -> CoreExpr Id Id -> Id -> Demand
+	{-# GHC_PRAGMA _A_ 4 _U_ 2222 _N_ _S_ "LLLU(LSLL)" _N_ _N_ #-}
+findStrictness :: [UniType] -> AbsVal -> AbsVal -> [Demand]
+	{-# GHC_PRAGMA _A_ 3 _U_ 122 _N_ _S_ "SLL" _N_ _N_ #-}
+fixpoint :: AnalysisKind -> [Id] -> [CoreExpr Id Id] -> AbsValEnv -> [AbsVal]
+	{-# GHC_PRAGMA _A_ 4 _U_ 2222 _N_ _S_ "LSLL" _N_ _N_ #-}
+isBot :: AbsVal -> Bool
+	{-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
+widen :: AnalysisKind -> AbsVal -> AbsVal
+	{-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "ES" _N_ _N_ #-}
+