\section[SaAbsInt]{Abstract interpreter for strictness analysis}
\begin{code}
-#ifndef DEBUG
--- If DEBUG is off, omit all exports
+#ifndef OLD_STRICTNESS
+-- If OLD_STRICTNESS is off, omit all exports
module SaAbsInt () where
#else
#include "HsVersions.h"
-import CmdLineOpts ( opt_AllStrict, opt_NumbersStrict )
+import StaticFlags ( opt_AllStrict, opt_NumbersStrict )
import CoreSyn
import CoreUnfold ( maybeUnfoldingTemplate )
-import Id ( Id, idType, idUnfolding, isDataConId_maybe,
+import Id ( Id, idType, idUnfolding, isDataConWorkId_maybe,
idStrictness,
)
import DataCon ( dataConTyCon, splitProductType_maybe, dataConRepArgTys )
absId anal var env
= case (lookupAbsValEnv env var,
- isDataConId_maybe var,
+ isDataConWorkId_maybe var,
idStrictness var,
maybeUnfoldingTemplate (idUnfolding var)) of
iterations, because there are several variables involved at once.
\begin{code}
-#endif /* DEBUG */
+#endif /* OLD_STRICTNESS */
\end{code}