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

Joachim Breitner mail at joachim-breitner.de
Sat Feb 27 08:49:25 UTC 2016


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.dehttps://www.joachim-breitner.de/
  XMPP: nomeata at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
  Debian Developer: nomeata at debian.org

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160227/9bd44fff/attachment.sig>


More information about the ghc-devs mailing list