Do not forget CPR information after an IO action
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 6 Dec 2013 17:58:29 +0000 (17:58 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 9 Dec 2013 15:42:09 +0000 (15:42 +0000)
commita31cb5b07726f5739f6eac35cbb348fcd2d6b598
tree50d2a56aaed6555a5a42a7645e4d3487a95ac271
parent3f6da561a9d71030efbab20544c4f77f9da0759d
Do not forget CPR information after an IO action

but do forget about certain divergence, if required. Fixes one part of
ticket #8598.

The added function (deferAfterIO) can maybe be merged with existing
code, but given the ongoing work in the nested-cpr branch, I defer that
work.
compiler/basicTypes/Demand.lhs
compiler/stranal/DmdAnal.lhs