<div dir="ltr">Hi Ben,<div><br></div><div>just a heads up: we are still on track for a Diff submission for linear types by end of October (the cut-off date you advertized at the top of this thread for feature work on GHC 8.8, and the one we stated we'd aim for in September). We might run into last minute blockers of course, but so far so good.</div><div><br></div><div>I've been told that we'll be hearing from the Committee before then about acceptance or rejection of the proposal.</div><div><br></div><div>Best,</div><div><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">--<br>Mathieu Boespflug<br>Founder at <a href="http://tweag.io" target="_blank">http://tweag.io</a>.</div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Wed, 5 Sep 2018 at 15:46, Boespflug, Mathieu <<a href="mailto:m@tweag.io">m@tweag.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi Ben,<div><br></div><div>yes - as for the implementation of the linear types extension, we're aiming for the submission of a Diff before the 8.8 branch is cut. (If the Committee has given the green light by then, of course.)</div><div><br></div><div>Best,</div><div><br clear="all"><div><div dir="ltr" class="m_6103676584131964593gmail_signature" data-smartmail="gmail_signature">--<br>Mathieu Boespflug<br>Founder at <a href="http://tweag.io" target="_blank">http://tweag.io</a>.</div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, 21 Aug 2018 at 21:34, Ben Gamari <<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Mathieu Boespflug <<a href="mailto:m@tweag.io" target="_blank">m@tweag.io</a>> writes:<br>
<br>
> The proposal would need to be accepted by the GHC Steering Committee first<br>
> before that happens.<br>
><br>
Absolutely; I just wasn't sure whether you were considering pushing for<br>
merge in the event that it was accepted.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
</blockquote></div>
</blockquote></div>