[project @ 2001-10-24 08:38:03 by simonpj]
----------------------------------------------
Several improvements to demand analysis
----------------------------------------------
* Make the demand analyser cleverer about strict CPR-able thunks.
Detailed comments in DmdAnal.mk_sig_ty.ignore_cpr_info.
* Make the demand analyser cleverer about CPR info for case
binders. E.g.
case x of { (True,b) -> x;
(False,b) -> (b,False) }
Here, the expression *does* have the CPR property, because
the lone use of x is inside a case.
* Move the unsafePerformIO HACK from WorkWrap into here
(where is is very slightly less awful).