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