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

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

...

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 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@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