\section[SaAbsInt]{Abstract interpreter for strictness analysis}
\begin{code}
+#ifndef DEBUG
+-- If DEBUG is off, omit all exports
+module SaAbsInt () where
+
+#else
module SaAbsInt (
findStrictness,
findDemand, findDemandAlts,
fixpoint,
isBot
) where
-
+#endif /* DEBUG */
#include "HsVersions.h"
import CmdLineOpts ( opt_AllStrict, opt_NumbersStrict )