5 Sep
2018
5 Sep
'18
9:46 p.m.
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