<div dir="ltr">Hello,<div><br></div><div>For the constraint solver for type naturals: I think we should certainly have some form of it in 7.8, even if it is the really simple version that just knows things like: 5 + 3 = 8.    There is a bit of work to be done to catch up the type-nats branch to HEAD, mainly to do with Richard&#39;s changes about roles, I believe.  I am back from vacation from tomorrow, and I think I&#39;ll have quite a bit of time to hack on GHC so I&#39;ll catch up the branch, and prepare it for merging (i.e., rebase things so that the main functionality is split into one or two patches).</div>
<div><br></div><div>-Iavor</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Aug 20, 2013 at 10:01 AM, Austin Seipp <span dir="ltr">&lt;<a href="mailto:aseipp@pobox.com" target="_blank">aseipp@pobox.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">All,<div><br></div><div>GHC 7.8&#39;s release is drawing near. We would like to make a release candidate sometime around ICFP, which will be in late September. Unfortunately that&#39;s just over a month a way, so the clock is ticking!</div>

<div><br></div><div>The tree will need a few weeks of stabilization. After that, we will release an RC, and likely branch. Then things will roughly return to normal.</div><div><br></div><div>The exact date for feature cutoff is not set yet (but I will follow up soon on this.) So, I&#39;d like a show of hands and a quick &#39;check in&#39; for outstanding work for 7.8. There are a few things we know for sure are - or were - tentatively scheduled for this release:</div>

<div><br></div><div> * SIMD improvements<br></div><div> * New Template Haskell</div><div> * Constraint solver for type naturals <br></div><div><br>These are - as far as I&#39;m aware - the largest outstanding features which not quite yet in HEAD.</div>

<div><br></div><div>For the release, we would like to minimize &#39;disruptive&#39; features, because 7.8 already has many large changes. In particular, Dynamic GHCi and dynamic builds will likely prove the biggest challenge &#39;in the field&#39;, so we would like plenty of time to stress this as best we can for the RC, and the release itself.<br>

<br>There are some things which we are fairly certain will not make it:</div><div><br></div><div> * Joachim&#39;s new newtype coercion implementation</div><div> * Adam&#39;s new record implementation</div><div><br></div>
<div>
There are some things I&#39;m not very privvy to perhaps, but could still go in:<br><br> * Nicolas possibly had some optimisation improvements according to Simon.</div><div><br> * Edsko had a small patch for extended plugin functionality in HEAD, but Luite and Thomas also have input here. Status is uncertain.</div>

<div><br> * ERDI was working on pattern synonyms. I believe you were having some trouble with the implementation. Can someone help him if necessary?</div><div><br></div><div>Finally, there are loose ends to tie off:</div>

<div><br></div><div> * I believe Simon and Jose were having discussions about the new Typeable implementation, regarding hand-written instances. This should be fine for 7.8 and is mostly some behavioral tweaking I think.</div>

<div><br></div><div>I&#39;ve undoubtedly missed things here. Please fill me in. :)</div><div><br></div><div>Note that before the freeze, you should interpret &#39;disruptive&#39; with your own good judgement. Smaller patches and improvements are certainly welcome as always, and you shouldn&#39;t wait on me to push something if you feel good about it. If you&#39;re ever unsure, just ask. Worst case is something gets backed out, but it&#39;s nothing we cannot come back to.</div>
<span class="HOEnZb"><font color="#888888">
<div><br></div><div>-- <br>Regards,<br>Austin - PGP: 4096R/0x91384671<br></div></font></span></div>
<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>
<br></blockquote></div><br></div>