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

[Wolfgang Jeltsch]

Hmm, after entering various submodules into the configuration, Git asks
me for a username for https://github.com. Why?

Am Freitag, den 30.06.2017, 17:15 +0300 schrieb Wolfgang Jeltsch:
> Hi!
> 
> I am just reading the instructions for cloning GHC from Git under
> 
>     https://ghc.haskell.org/trac/ghc/wiki/Building/GettingTheSources#C
> loningfromGitHub
> 
> Do these instructions also apply in an analogous way to cloning your
> GHC repository?
> 
> All the best,
> Wolfgang
> 
> Am Freitag, den 30.06.2017, 16:11 +0200 schrieb Boespflug, Mathieu:
> > 
> > Yes, just make sure to checkout the linear-types branch, not the
> > master branch.
> > --
> > Mathieu Boespflug
> > Founder at http://tweag.io.
> > 
> > 
> > On 30 June 2017 at 16:09, Wolfgang Jeltsch <wolfgang-it at jeltsch.info
> > >
> > wrote:
> > > 
> > > 
> > > Hi, Mathieu!
> > > 
> > > Thanks a lot for the quick reply.
> > > 
> > > I am just cloning the Git repository at https://github.com/tweag/g
> > > hc
> > > .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.
> > > > in
> > > > fo>
> > > > wrote:
> > > > > 
> > > > > 
> > > > > 
> > > > > Hi!
> > > > > 
> > > > > The blog post on http://blog.tweag.io/posts/2017-03-13-linear-
> > > > > ty
> > > > > pes.
> > > > > 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
> > > _______________________________________________
> > > ghc-devs mailing list
> > > ghc-devs at haskell.org
> > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs