Which stable GHC release is expected to have support for linear types?
m at tweag.io
Fri Jun 30 14:11:36 UTC 2017
Yes, just make sure to checkout the linear-types branch, not the master branch.
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,
> 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:
>> 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:
>> Mathieu Boespflug
>> Founder at http://tweag.io.
>> On 30 June 2017 at 15:49, Wolfgang Jeltsch <wolfgang-it at jeltsch.info>
>> > 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
More information about the ghc-devs