<p dir="ltr">I've updated the Wiki page to better match what I'm implementing. Apart from reorganizing the page slightly, all I really had to change was the paragraph on exporting/importing.</p>
<p dir="ltr">Should I explicitly mark parts of the page that are not yet implemented? I'd think the page should stay to be about what we aim for, not what we happen to have as of some random date.</p>
<div class="gmail_quote">On Aug 22, 2013 12:09 AM, "Simon Peyton-Jones" <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div lang="EN-GB" link="blue" vlink="purple">
<div>
<p style="margin-left:36.0pt">How long does the patch review process usually take? Just so I can factor that in when thinking of getting this into 7.8.0.<u></u><u></u></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d">There are two issues:<u></u><u></u></span></p>
<p><u></u><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><span>1.<span style="font:7.0pt "Times New Roman"">
</span></span></span><u></u><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d">Is the design good? Does the additional language complexity pay its way? Is the implementation reasonably simple, or unreasonably complicated?<u></u><u></u></span></p>
<p><u></u><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><span>2.<span style="font:7.0pt "Times New Roman"">
</span></span></span><u></u><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"> Is the actual patch good (well-implemented, well-documented, etc)<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d">(2) is relatively straightforward, but this feature is a “big” one. I’d like to get a bit of feedback from our community.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d">The Trac page sketches the design, but I bet you have come across some subtleties as you implemented it. (Exports for one.) Would you be willing to expand
the design specification (as seen by the programmer) to be as complete as possible? Include some examples. This would best be done on the Trac wiki rather than in the ticket itself. Most of text can come from the existing writeup, but I expect you have
more to add. (Or maybe not... maybe it all turned out to be very simple.)<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d">Once we have that we can send email to ghc-users pointing to the spec and asking what they think. Lots of smart people there who may well have Good Ideas.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d">My gut feel is that, rather than rushing to throw this into 7.8, we should take a little while to think about it. Everything else we are planning for 7.8 has
been in gestation for much longer.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d">Any opinions from other ghc-devs?</span> <span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><a href="http://ghc.haskell.org/trac/ghc/ticket/5144" target="_blank">http://ghc.haskell.org/trac/ghc/ticket/5144</a><u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d">Talk later this week.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><br>
Simon<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Verdana","sans-serif";color:#1f497d"><u></u> <u></u></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 #b5c4df 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:10.0pt;font-family:"Tahoma","sans-serif"">From:</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:"Tahoma","sans-serif""> ghc-devs [mailto:<a href="mailto:ghc-devs-bounces@haskell.org" target="_blank">ghc-devs-bounces@haskell.org</a>]
<b>On Behalf Of </b>Dr. ÉRDI Gergo<br>
<b>Sent:</b> 21 August 2013 01:56<br>
<b>To:</b> Austin Seipp<br>
<b>Cc:</b> <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<b>Subject:</b> Re: 7.8 Feature window<u></u><u></u></span></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<p><br>
On Aug 21, 2013 1:05 AM, "Austin Seipp" <<a href="mailto:aseipp@pobox.com" target="_blank">aseipp@pobox.com</a>> wrote:<u></u><u></u></p>
<p>> * ERDI was working on pattern synonyms. I believe you were having some trouble with the implementation. Can someone help him if necessary?<u></u><u></u></p>
<p>Hi,<u></u><u></u></p>
<p>I've updated the Trac ticket with the latest status of my work. There are only two loose ends remaining, and my hope is that the second one will turn out to be some trivial oversight on my part.
<u></u><u></u></p>
<p>How long does the patch review process usually take? Just so I can factor that in when thinking of getting this into 7.8.0.<u></u><u></u></p>
<p>Bye,<br>
Gergo<u></u><u></u></p>
</div>
</div>
</div>
</blockquote></div>