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

Wolfgang Jeltsch wolfgang-it at jeltsch.info
Fri Jun 30 14:15:23 UTC 2017


Hi!

I am just reading the instructions for cloning GHC from Git under

    https://ghc.haskell.org/trac/ghc/wiki/Building/GettingTheSources#CloningfromGitHub

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/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.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


More information about the ghc-devs mailing list