Harump. a) We do not generally make user-visible changes in a patch-level release, so we would not normally do this in 7.8.2, let alone 7.8.4 b) The 7.8.4 release candidate is out already c) It would take a little care to back-port the syntax changes to 7.8 without pattern signature (which we definitely don't want). And there would be a knock on effect in Haddock perhaps? d) BUT pattern synonyms are a brand new feature in 7.8 and minimising differences between 7.8 and 7.10 would be good. My instinct is that (a)-(c) overwhelm (d); i.e. let sleeping dogs lie. But what do others think? Simon | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Dr. | ERDI Gergo | Sent: 26 November 2014 00:59 | To: Austin Seipp | Cc: ghc-devs@haskell.org | Subject: Back-porting pattern synonym type signature syntax for GHC | 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1] | | Hi, | | Now that we know what the syntax of pattern synonym type signatures is | going to be for GHC 7.10, would it make sense / is it not too late to | backport that same syntax to 7.8.4? | | To recap, 7.8 doesn't support adding type signatures to pattern | synonyms, but GHCi's ":i" and Haddock both need to produce output | which has them. | There's a horrible hacked-together syntax in 7.8 which is very much | *not* the syntax that will be used in 7.10. | | Thanks, | Gergo | | -- | .--= ULLA! =-----------------. | \ http://gergo.erdi.hu \ | `---= gergo@erdi.hu =-------' | A tojások csirkékkel szaporodnak.

On Wed, 26 Nov 2014, Simon Peyton Jones wrote:

My instinct is that (a)-(c) overwhelm (d); i.e. let sleeping dogs lie. But what do others think?

Just to give an idea of how limited the scope of this change would be, I've went and implemented it, on the 'wip/pattern-synonym-sig-backport' branch (of both GHC and Haddock).

The issue is not so much timing for 7.8.4 (it's a modes change to pretty-printing only) but rather that it would make 7.8.4 behave differently to 7.8.3 (although similarly to 7.10). We typically do not do that. And the same would be true of 7.8.5. Simon | -----Original Message----- | From: Gabor Greif [mailto:ggreif@gmail.com] | Sent: 01 December 2014 15:53 | To: Dr. ERDI Gergo | Cc: Simon Peyton Jones; ghc-devs@haskell.org | Subject: Re: Back-porting pattern synonym type signature syntax for GHC | 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1] | | Gergö, | | even if it might be too late for 7.8.4, don't give up hope for 7.8.5 :-) | | Gabor | | | On 11/29/14, Dr. ERDI Gergo wrote: | > On Wed, 26 Nov 2014, Simon Peyton Jones wrote: | > | >> My instinct is that (a)-(c) overwhelm (d); i.e. let sleeping dogs lie. | >> But what do others think? | > | > Just to give an idea of how limited the scope of this change would be, | > I've went and implemented it, on the 'wip/pattern-synonym-sig-backport' | > branch (of both GHC and Haddock). | > _______________________________________________ | > ghc-devs mailing list | > ghc-devs@haskell.org | > http://www.haskell.org/mailman/listinfo/ghc-devs | >

So it could be regarded as a bugfix? Em terça-feira, 2 de dezembro de 2014, Dr. ÉRDI Gergő escreveu:

It is clear to everyone that all it would change is the *output* of GHCi's :info and Haddock-generated docs, right? There's no change whatsoever to what programs are accepted by GHC, or what they mean. On Dec 2, 2014 5:44 AM, "Simon Peyton Jones" javascript:_e(%7B%7D,'cvml','simonpj@microsoft.com');> wrote:

...

The issue is not so much timing for 7.8.4 (it's a modes change to pretty-printing only) but rather that it would make 7.8.4 behave differently to 7.8.3 (although similarly to 7.10). We typically do not do that. And the same would be true of 7.8.5.

Simon

| -----Original Message----- | From: Gabor Greif [mailto:ggreif@gmail.com javascript:_e(%7B%7D,'cvml','ggreif@gmail.com');] | Sent: 01 December 2014 15:53 | To: Dr. ERDI Gergo | Cc: Simon Peyton Jones; ghc-devs@haskell.org javascript:_e(%7B%7D,'cvml','ghc-devs@haskell.org'); | Subject: Re: Back-porting pattern synonym type signature syntax for GHC | 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1] | | Gergö, | | even if it might be too late for 7.8.4, don't give up hope for 7.8.5 :-) | | Gabor | | | On 11/29/14, Dr. ERDI Gergo javascript:_e(%7B%7D,'cvml','gergo@erdi.hu');> wrote: | > On Wed, 26 Nov 2014, Simon Peyton Jones wrote: | > | >> My instinct is that (a)-(c) overwhelm (d); i.e. let sleeping dogs lie. | >> But what do others think? | > | > Just to give an idea of how limited the scope of this change would be, | > I've went and implemented it, on the 'wip/pattern-synonym-sig-backport' | > branch (of both GHC and Haddock). | > _______________________________________________ | > ghc-devs mailing list | > ghc-devs@haskell.org javascript:_e(%7B%7D,'cvml','ghc-devs@haskell.org'); | > http://www.haskell.org/mailman/listinfo/ghc-devs | >

It is clear to everyone that all it would change is the *output* of GHCi's :info and Haddock-generated docs, right? There's no change whatsoever to what programs are accepted by GHC, or what they mean. Yes that’s right. (Your patch was helpful in clarifying that.) To me it doesn’t seem a big deal either way. Personally I’m on the fence on this one, but it’s true that we never do anything in a patch release except fix bugs, and Simon M was reluctant to break that policy without pretty strong reason. If there was an uprising of user sentiment that we ought to break that policy on this occasion, it’d be easily to do. Simon From: Dr. ÉRDI Gergő [mailto:gergo@erdi.hu] Sent: 01 December 2014 23:09 To: Simon Peyton Jones Cc: GHC Devs; Gabor Greif Subject: RE: Back-porting pattern synonym type signature syntax for GHC 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1] It is clear to everyone that all it would change is the *output* of GHCi's :info and Haddock-generated docs, right? There's no change whatsoever to what programs are accepted by GHC, or what they mean. On Dec 2, 2014 5:44 AM, "Simon Peyton Jones" mailto:simonpj@microsoft.com> wrote: The issue is not so much timing for 7.8.4 (it's a modes change to pretty-printing only) but rather that it would make 7.8.4 behave differently to 7.8.3 (although similarly to 7.10). We typically do not do that. And the same would be true of 7.8.5. Simon | -----Original Message----- | From: Gabor Greif [mailto:ggreif@gmail.commailto:ggreif@gmail.com] | Sent: 01 December 2014 15:53 | To: Dr. ERDI Gergo | Cc: Simon Peyton Jones; ghc-devs@haskell.orgmailto:ghc-devs@haskell.org | Subject: Re: Back-porting pattern synonym type signature syntax for GHC | 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1] | | Gergö, | | even if it might be too late for 7.8.4, don't give up hope for 7.8.5 :-) | | Gabor | | | On 11/29/14, Dr. ERDI Gergo mailto:gergo@erdi.hu> wrote: | > On Wed, 26 Nov 2014, Simon Peyton Jones wrote: | > | >> My instinct is that (a)-(c) overwhelm (d); i.e. let sleeping dogs lie. | >> But what do others think? | > | > Just to give an idea of how limited the scope of this change would be, | > I've went and implemented it, on the 'wip/pattern-synonym-sig-backport' | > branch (of both GHC and Haddock). | > _______________________________________________ | > ghc-devs mailing list | > ghc-devs@haskell.orgmailto:ghc-devs@haskell.org | > http://www.haskell.org/mailman/listinfo/ghc-devs | >

Would it be possible to get a RC for the Mac up at https://downloads.haskell.org/~ghc/7.8.4-rc1/ ? Thanks George On Wed, Nov 26, 2014 at 10:31 AM, Herbert Valerio Riedel wrote:

On 2014-11-26 at 12:40:37 +0100, Sven Panne wrote:

...

2014-11-25 20:46 GMT+01:00 Austin Seipp :

...

We are pleased to announce the first release candidate for GHC 7.8.4:

https://downloads.haskell.org/~ghc/7.8.4-rc1/ [...]

Would it be possible to get the RC on https://launchpad.net/~hvr/+archive/ubuntu/ghc? This way one could easily test things on Travis CI.

I'll put a 7.8.4rc .deb up soon (probably right after the GHC 7.10 branch has been created) _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

On Sat, Dec 13, 2014 at 8:53 PM, Carter Schonwald wrote:

Thomas and I have found some bugs in HPC on OSX, and we're in the midst of tracking those down,

You mean these are regressions? If they are introduced in one of the non-blocker fixes in 7.8.4, we can probably just revert them. Anyway, thanks a lot for testing. Cheers, Mikolaj

OK. In that case, let's remember to get *that* version of cabal into 7.8.4. /me conditions himself with chocolate to help the remembering On Sat, Dec 13, 2014 at 11:02 PM, Thomas Tuegel wrote:

On Sat, Dec 13, 2014 at 3:56 PM, Mikolaj Konarski wrote:

...

On Sat, Dec 13, 2014 at 8:53 PM, Carter Schonwald wrote:

...

Thomas and I have found some bugs in HPC on OSX, and we're in the midst of tracking those down,

You mean these are regressions? If they are introduced in one of the non-blocker fixes in 7.8.4, we can probably just revert them. Anyway, thanks a lot for testing.

Sorry, these are not regressions. It's really a bug in Cabal which will be fixed in 1.22. When Carter wrote this, we thought the problem was with the GHC side of HPC because of some very vague error messages.

-- Thomas Tuegel