>
Cc: ghc-devs mailto:ghc-devs@haskell.org>>; Richard
mailto:goldf...@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
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
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, B
Right. My understanding from looking at https://github.com/ghc-proposals
/ghc-proposals/pull/111 is that the discussion about this proposal is
generally moving forward and doesn’t have died. Is this understanding
correct?
All the best,
Wolfgang
Am Dienstag, den 21.08.2018, 16:47 +0200 schrieb Mathi
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
signature.asc
Description: PGP signat
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
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
signature.asc
Description: PGP signature
___
ghc-devs mailing list
Hi!
What happened to LinearTypes? Will it be in GHC 8.8?
All the best,
Wolfgang
Am Montag, den 20.08.2018, 14:37 -0400 schrieb Ben Gamari:
> Hi everyone,
>
> Since GHC 8.6 is almost released it's time to start thinking about our
> goals for 8.8, which will branch in November. I have added the i
