Hi,
Am Freitag, den 26.02.2016, 22:12 -0500 schrieb Ömer Sinan Ağacan:
While working on demand analyzer today we realized that there has
been some changes in demand analysis results between GHC 7.10.2 and
8.0-rc2.
a quick git log highlights this commit, as it relates to strict data
constructors: 0696fc6d4de28cb589f6c751b8491911a5baf774
commit 0696fc6d4de28cb589f6c751b8491911a5baf774
Author: Simon Peyton Jones
Date: Fri Jun 26 11:40:01 2015 +0100
Improve CPR behavior for strict constructors
When working on Trac #10482 I noticed that we could give constructor
arguments the CPR property if they are use strictly.
This is documented carefully in
Note [CPR in a product case alternative]
and also
Note [Initial CPR for strict binders]
There are a bunch of intersting examples in
Note [CPR examples]
which I have added to the test suite as T10482a.
I also added a test for #10482 itself.
I did not investigate whether this could actually have effected¹ this
change.
Greetings,
Joachim
¹ How do you recognize a regular xkcd reader?
He uses effect as an verb. https://xkcd.com/326/
--
--
Joachim “nomeata” Breitner
mail@joachim-breitner.de • https://www.joachim-breitner.de/
XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
Debian Developer: nomeata@debian.org
