X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fstranal%2FSaAbsInt.lhs;h=3cd9ba434b6533661886c1f0293f7c32433e7d20;hb=182b16bccea2eab1a8af93a6246db3d391e436c7;hp=eabc35eab5146adb121a83f8f66886b728818afe;hpb=1f742a0f44a20b574b4f3c47f6d321bf3653b269;p=ghc-hetmet.git diff --git a/ghc/compiler/stranal/SaAbsInt.lhs b/ghc/compiler/stranal/SaAbsInt.lhs index eabc35e..3cd9ba4 100644 --- a/ghc/compiler/stranal/SaAbsInt.lhs +++ b/ghc/compiler/stranal/SaAbsInt.lhs @@ -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}