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

diff --git a/ghc/compiler/stranal/SaAbsInt.hi b/ghc/compiler/stranal/SaAbsInt.hi
index e250613..c243aee 100644
--- a/ghc/compiler/stranal/SaAbsInt.hi
+++ b/ghc/compiler/stranal/SaAbsInt.hi
@@ -6,15 +6,9 @@ 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_ #-}
+findStrictness :: (Bool, Bool) -> [UniType] -> AbsVal -> AbsVal -> [Demand]
 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_ #-}