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

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