<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:12.0pt;
        font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
p
        {mso-style-priority:99;
        mso-margin-top-alt:auto;
        margin-right:0cm;
        mso-margin-bottom-alt:auto;
        margin-left:0cm;
        font-size:12.0pt;
        font-family:"Times New Roman","serif";}
p.Code, li.Code, div.Code
        {mso-style-name:Code;
        mso-style-link:"Code Char";
        margin-top:0cm;
        margin-right:0cm;
        margin-bottom:0cm;
        margin-left:36.0pt;
        margin-bottom:.0001pt;
        font-size:12.0pt;
        font-family:"Courier New";
        color:#1F497D;}
span.CodeChar
        {mso-style-name:"Code Char";
        mso-style-link:Code;
        font-family:"Courier New";
        color:#1F497D;}
span.EmailStyle20
        {mso-style-type:personal-reply;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-family:"Calibri","sans-serif";
        mso-fareast-language:EN-US;}
.MsoPapDefault
        {mso-style-type:export-only;
        margin-top:6.0pt;
        margin-right:0cm;
        margin-bottom:6.0pt;
        margin-left:0cm;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="blue" vlink="purple">
<div class="WordSection1">
<p style="margin-left:36.0pt">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.<o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D;mso-fareast-language:EN-US">Yes that’s right.   (Your patch was helpful in clarifying that.)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D;mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D;mso-fareast-language:EN-US">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. 
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D;mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D;mso-fareast-language:EN-US">Simon<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D;mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">From:</span></b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""> Dr. ÉRDI Gergő [mailto:gergo@erdi.hu]
<br>
<b>Sent:</b> 01 December 2014 23:09<br>
<b>To:</b> Simon Peyton Jones<br>
<b>Cc:</b> GHC Devs; Gabor Greif<br>
<b>Subject:</b> RE: Back-porting pattern synonym type signature syntax for GHC 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1]<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p>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.<o:p></o:p></p>
<div>
<p class="MsoNormal">On Dec 2, 2014 5:44 AM, "Simon Peyton Jones" <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> wrote:<o:p></o:p></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<p class="MsoNormal">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.<br>
<br>
Simon<br>
<br>
| -----Original Message-----<br>
| From: Gabor Greif [mailto:<a href="mailto:ggreif@gmail.com">ggreif@gmail.com</a>]<br>
| Sent: 01 December 2014 15:53<br>
| To: Dr. ERDI Gergo<br>
| Cc: Simon Peyton Jones; <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
| Subject: Re: Back-porting pattern synonym type signature syntax for GHC<br>
| 7.8.4 [Re: ANNOUNCE: GHC 7.8.4 Release Candidate 1]<br>
|<br>
| Gergö,<br>
|<br>
| even if it might be too late for 7.8.4, don't give up hope for 7.8.5 :-)<br>
|<br>
|      Gabor<br>
|<br>
|<br>
| On 11/29/14, Dr. ERDI Gergo <<a href="mailto:gergo@erdi.hu">gergo@erdi.hu</a>> wrote:<br>
| > On Wed, 26 Nov 2014, Simon Peyton Jones wrote:<br>
| ><br>
| >> My instinct is that (a)-(c) overwhelm (d); i.e. let sleeping dogs lie.<br>
| >> But what do others think?<br>
| ><br>
| > Just to give an idea of how limited the scope of this change would be,<br>
| > I've went and implemented it, on the 'wip/pattern-synonym-sig-backport'<br>
| > branch (of both GHC and Haddock).<br>
| > _______________________________________________<br>
| > ghc-devs mailing list<br>
| > <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
| > <a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
| ><o:p></o:p></p>
</blockquote>
</div>
</div>
</div>
</body>
</html>