X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fstranal%2FSaLib.lhs;h=338a351530dc207e53e0468f7846dc7ede7cc516;hb=05dad81285b606521b550b690f3e645bb7dc8f75;hp=f3d5dc8fc92f214702ba3a5e7a9493cbd67cbb13;hpb=5daa3de55112387a79bff1df6c5037b23b90d72b;p=ghc-hetmet.git diff --git a/ghc/compiler/stranal/SaLib.lhs b/ghc/compiler/stranal/SaLib.lhs index f3d5dc8..338a351 100644 --- a/ghc/compiler/stranal/SaLib.lhs +++ b/ghc/compiler/stranal/SaLib.lhs @@ -6,6 +6,10 @@ See also: the ``library'' for the ``back end'' (@SaBackLib@). \begin{code} +#ifndef OLD_STRICTNESS +module SaLib () where +#else + module SaLib ( AbsVal(..), AnalysisKind(..), @@ -18,12 +22,10 @@ module SaLib ( #include "HsVersions.h" -import Id ( Id ) import Type ( Type ) -import CoreSyn ( CoreExpr ) import VarEnv import IdInfo ( StrictnessInfo(..) ) -import Demand ( Demand, pprDemands ) +import Demand ( Demand ) import Outputable \end{code} @@ -52,7 +54,7 @@ data AbsVal | AbsBot -- An expression whose abstract value is -- AbsBot is sure to fail to terminate. -- AbsBot represents the abstract - -- *function* bottom too. + -- *function* bottom too. | AbsProd [AbsVal] -- (Lifted) product of abstract values -- "Lifted" means that AbsBot is *different* from @@ -122,3 +124,7 @@ absValFromStrictness anal (StrictnessInfo args_info bot_result) StrAnal -> AbsBot AbsAnal -> AbsTop \end{code} + +\begin{code} +#endif /* OLD_STRICTNESS */ +\end{code}