Re: Goals for GHC 8.8

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