Hi Ben,

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.

I've been told that we'll be hearing from the Committee before then about acceptance or rejection of the proposal.

Best,

--
Mathieu Boespflug
Founder at http://tweag.io.

On Wed, 5 Sep 2018 at 15:46, Boespflug, Mathieu <m@tweag.io> wrote:

Hi Ben,

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.)

Best,

--
Mathieu Boespflug
Founder at http://tweag.io.

On Tue, 21 Aug 2018 at 21:34, Ben Gamari <ben@well-typed.com> wrote:
Mathieu Boespflug <m@tweag.io> writes:

> The proposal would need to be accepted by the GHC Steering Committee first
> before that happens.
>
Absolutely; I just wasn't sure whether you were considering pushing for
merge in the event that it was accepted.

Cheers,

- Ben