import FieldLabel ( FieldLabel )
import Type ( usOnce, usMany )
import Demand hiding( Demand )
+import qualified Demand
import NewDemand ( Demand(..), Keepity(..), Deferredness(..), DmdResult(..),
lazyDmd, topDmd,
- StrictSig, mkStrictSig,
- DmdType, mkTopDmdType
+ StrictSig, mkStrictSig, mkTopDmdType
)
import Outputable
import Util ( seqList )
oldDemand :: NewDemand.Demand -> Demand.Demand
oldDemand Abs = WwLazy True
oldDemand Lazy = WwLazy False
+oldDemand Bot = WwStrict
+oldDemand Err = WwStrict
oldDemand Eval = WwStrict
oldDemand (Seq _ _ ds) = WwUnpack True (map oldDemand ds)
oldDemand (Call _) = WwStrict