The proposal would need to be accepted by the GHC Steering Committee first before that happens. Best, -- Mathieu Boespflug Founder at http://tweag.io. On Tue, 21 Aug 2018 at 16:44, Ben Gamari wrote:

Wolfgang Jeltsch writes:

...

Hi!

What happened to LinearTypes? Will it be in GHC 8.8?

It's unclear; the proposal authors (Arnaud is CC'd) will need to comment here.

Cheers,

- Ben _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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

Mathieu Things (especially major things) for a release should land in master before the cut-off date. But there is quite a way to go before linear types land in master… When Arnaud is ready to submit a diff, I (and, I earnestly hope, other) can begin a code review – but so far I have not reviewed a single line of code. This is a major diff and I expect there will be quite a bit of to and fro. Fortunately, now we are on a 6-monthly release cycle, the next release will be along before we know it. Actually I think it might well take several months of settling down before everyone (including Arnaud) is happy. Let’s see how it all works out. But I don’t think we can guarantee that it’ll be ready for 8.8. Simon From: ghc-devs mailto:ghc-devs-bounces@haskell.org> On Behalf Of Boespflug, Mathieu Sent: 16 October 2018 13:06 To: Ben mailto:ben@well-typed.com> Cc: ghc-devs mailto:ghc-devs@haskell.org>; Richard mailto:goldfire@gmail.com> Subject: 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 mailto: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 mailto:ben@well-typed.com> wrote: Mathieu Boespflug mailto: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