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

[Wolfgang Jeltsch]

After entering my Git username and password, Git showed me the following
error:

> fatal: repository 'https://github.com/tweag/arcanist-external-json-linter.git/' not found

What exact command do I have to use to clone the repository? So far, I
have used the following:

> git clone --recursive https://github.com/tweag/ghc.git

All the best,
Wolfgang

Am Freitag, den 30.06.2017, 17:23 +0300 schrieb 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.in
> > > fo
> > > > 
> > > > 
> > > 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 jeltsc
> > > > > h.
> > > > > in
> > > > > fo>
> > > > > wrote:
> > > > > > 
> > > > > > 
> > > > > > 
> > > > > > 
> > > > > > Hi!
> > > > > > 
> > > > > > The blog post on http://blog.tweag.io/posts/2017-03-13-linea
> > > > > > r-
> > > > > > 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