X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fstranal%2FSaLib.lhs;h=338a351530dc207e53e0468f7846dc7ede7cc516;hb=28a464a75e14cece5db40f2765a29348273ff2d2;hp=813410ce330fb17d92934e34c5f8caf881bcb8ca;hpb=111cee3f1ad93816cb828e38b38521d85c3bcebb;p=ghc-hetmet.git diff --git a/ghc/compiler/stranal/SaLib.lhs b/ghc/compiler/stranal/SaLib.lhs index 813410c..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} @@ -39,7 +41,7 @@ import Outputable data AnalysisKind = StrAnal -- We're doing strictness analysis | AbsAnal -- We're doing absence analysis - deriving Text + deriving Show \end{code} @AbsVal@ is the data type of HNF abstract values. @@ -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}