import CoreSyn ( CoreExpr )
import Id ( nullIdEnv, addOneToIdEnv, growIdEnvList,
lookupIdEnv, IdEnv,
- GenId{-instance Outputable-}, Id
+ Id
)
import IdInfo ( StrictnessInfo(..) )
import Demand ( Demand{-instance Outputable-} )
import Outputable
-import PprType ( GenType{-instance Outputable-} )
\end{code}
%************************************************************************
pessimistic value---see @absEval@ of a @Var@.
\begin{code}
-data AbsValEnv = AbsValEnv (IdEnv AbsVal)
+newtype AbsValEnv = AbsValEnv (IdEnv AbsVal)
type StrictEnv = AbsValEnv -- Environment for strictness analysis
type AbsenceEnv = AbsValEnv -- Environment for absence analysis