See also: the ``library'' for the ``back end'' (@SaBackLib@).
\begin{code}
+#ifndef OLD_STRICTNESS
+module SaLib () where
+#else
+
module SaLib (
AbsVal(..),
AnalysisKind(..),
#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}
| 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
StrAnal -> AbsBot
AbsAnal -> AbsTop
\end{code}
+
+\begin{code}
+#endif /* OLD_STRICTNESS */
+\end{code}