Change in demand analysis results between 7.10.2 and RC1 (not fixed in RC2 and HEAD)
Ömer Sinan Ağacan
omeragacan at gmail.com
Mon Feb 29 03:22:38 UTC 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 <mail at joachim-breitner.de>:
> 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 <simonpj at microsoft.com>
> 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 at joachim-breitner.de • https://www.joachim-breitner.de/
> XMPP: nomeata at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
> Debian Developer: nomeata at debian.org
>
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
More information about the ghc-devs
mailing list