Re: Goals for GHC 8.8

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 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 wrote:

...

Mathieu Boespflug 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