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...@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...@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@haskell.org >> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs