[project @ 2004-01-09 12:36:54 by simonmar]
[ghc-hetmet.git] / ghc / compiler / stranal / SaAbsInt.lhs
index eabc35e..3cd9ba4 100644 (file)
@@ -4,8 +4,8 @@
 \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
@@ -23,7 +23,7 @@ module SaAbsInt (
 import CmdLineOpts     ( 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 )
@@ -353,7 +353,7 @@ evalAbsence other val = anyBot val
 
 absId anal var env
   = case (lookupAbsValEnv env var, 
-         isDataConId_maybe var, 
+         isDataConWorkId_maybe var, 
          idStrictness var, 
          maybeUnfoldingTemplate (idUnfolding var)) of
 
@@ -921,5 +921,5 @@ NB: despite only having a two-point domain, we may still have many
 iterations, because there are several variables involved at once.
 
 \begin{code}
-#endif /* DEBUG */
+#endif /* OLD_STRICTNESS */
 \end{code}