Which stable GHC release is expected to have support for linear types?

[Wolfgang Jeltsch]

Hi, Mathieu!

Thanks a lot for the quick reply.

I am just cloning the Git repository at https://github.com/tweag/ghc.git
and want to build GHC from it. Is this still the right repository? Does
it contain the same as the Docker image?

All the best,
Wolfgang

Am Freitag, den 30.06.2017, 16:02 +0200 schrieb Boespflug, Mathieu:
> Hi Wolfgang,
> 
> 8.4 is the next release after the (by now imminent) 8.2 release. But
> no support for linear types has of yet been merged into the master
> branch that will eventually form the basis of the 8.4 release. This
> support is under active development at the moment on a side branch.
> Some of us are giving ourselves the 8.4 release as a *tentative*
> target, so don't count on it. It may well end up happening much
> further in the future. It's a research effort at this point and the
> design is likely to change a bunch.
> 
> In the meantime, you can play around with this Docker image:
> 
> https://hub.docker.com/r/tweag/linear-types/
> 
> It contains a pre-built fork of GHC with the current state of the
> linear types implementation. You can see the development as it's
> happening here:
> 
> https://github.com/tweag/ghc/tree/linear-types
> 
> Best,
> --
> Mathieu Boespflug
> Founder at http://tweag.io.
> 
> 
> On 30 June 2017 at 15:49, Wolfgang Jeltsch <wolfgang-it at jeltsch.info>
> wrote:
> > 
> > Hi!
> > 
> > The blog post on http://blog.tweag.io/posts/2017-03-13-linear-types.
> > html
> > says, “We are targeting a merge by the time of the 8.4 release of
> > GHC.”
> > Does this mean that GHC 8.4 is expected to have support for linear
> > types, or does it mean that the merge should happen after a GHC 8.4
> > branch has been forked off from the HEAD branch, so that only GHC
> > 8.6
> > will have support for linear types?
> > 
> > All the best,
> > Wolfgang
> > _______________________________________________
> > ghc-devs mailing list
> > ghc-devs at haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs