[project @ 2001-10-24 08:38:03 by simonpj]
authorsimonpj <unknown>
Wed, 24 Oct 2001 08:38:03 +0000 (08:38 +0000)
committersimonpj <unknown>
Wed, 24 Oct 2001 08:38:03 +0000 (08:38 +0000)
commit0a0b7155ede4346ba146384e6f9656c41b50cb2e
tree1f43843d0c09809c80396641b740598061f79338
parent632e77262811043f9c1634e0f0c4b2fcc8bfb1dc
[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).
ghc/compiler/stranal/DmdAnal.lhs