See also: the ``library'' for the ``back end'' (@SaBackLib@).
\begin{code}
-#ifndef DEBUG
--- If DEBUG is off, omit all exports
+#ifndef OLD_STRICTNESS
module SaLib () where
-
#else
+
module SaLib (
AbsVal(..),
AnalysisKind(..),
lookupAbsValEnv,
absValFromStrictness
) where
-#endif /* DEBUG */
#include "HsVersions.h"
StrAnal -> AbsBot
AbsAnal -> AbsTop
\end{code}
+
+\begin{code}
+#endif /* OLD_STRICTNESS */
+\end{code}