Back-porting pattern synonym type signature syntax for GHC 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1]

[Simon Peyton Jones]

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 at 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" <simonpj at microsoft.com<mailto:simonpj at 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 at gmail.com<mailto:ggreif at gmail.com>]
| Sent: 01 December 2014 15:53
| To: Dr. ERDI Gergo
| Cc: Simon Peyton Jones; ghc-devs at haskell.org<mailto:ghc-devs at 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 <gergo at erdi.hu<mailto:gergo at 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 at haskell.org<mailto:ghc-devs at haskell.org>
| > http://www.haskell.org/mailman/listinfo/ghc-devs
| >
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20141202/d01ec9cc/attachment.html>