Re: Change in demand analysis results between 7.10.2 and RC1 (not fixed in RC2 and HEAD)

29 Feb 2016


      Thanks, but that patch looks like for CPR. In our case demands are
changed, so I don't see how that's related. Am I missing anything in
that patch?

2016-02-27 3:49 GMT-05:00 Joachim Breitner :
...
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
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs