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

Wolfgang Jeltsch

30 Jun 2017 30 Jun '17

1:49 p.m.

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

Show replies by date

Boespflug, Mathieu

30 Jun 30 Jun

2:02 p.m.

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

Wolfgang Jeltsch

2:09 p.m.

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

Boespflug, Mathieu

2:11 p.m.

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

Wolfgang Jeltsch

2:15 p.m.

Hi! I am just reading the instructions for cloning GHC from Git under https://ghc.haskell.org/trac/ghc/wiki/Building/GettingTheSources#Cloningfrom... 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/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 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

Wolfgang Jeltsch

2:23 p.m.

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

Wolfgang Jeltsch

3:29 p.m.

After entering my Git username and password, Git showed me the following error:

...

fatal: repository 'https://github.com/tweag/arcanist-external-json-linter.git/' not found

What exact command do I have to use to clone the repository? So far, I have used the following:

...

git clone --recursive https://github.com/tweag/ghc.git

All the best, Wolfgang Am Freitag, den 30.06.2017, 17:23 +0300 schrieb Wolfgang Jeltsch:

...

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-linea r- 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

Simon Peyton Jones

2:39 p.m.

And, just to be clear, while I think the design is coming along nicely, we have not yet made a clear proposal to the ghc-devs community, via the ghc-proposals mechanism, for a change to GHC. Until we have an adopted propsoal we can't say "it'll be in GHC by date X". Simon | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of | Boespflug, Mathieu | Sent: 30 June 2017 15:02 | To: Wolfgang Jeltsch | Cc: Arnaud Spiwack ; ghc-devs | Subject: Re: Which stable GHC release is expected to have support for | linear types? | | 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://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fhub.d | ocker.com%2Fr%2Ftweag%2Flinear- | types%2F&data=02%7C01%7Csimonpj%40microsoft.com%7C0f0fa7d2181b498882bd | 08d4bfc0b5c1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636344281789 | 392239&sdata=aWCyABYfJdvkxZAVk4wD5IuErCPTYGvdFO22nbT8gYw%3D&reserved=0 | | 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://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithu | b.com%2Ftweag%2Fghc%2Ftree%2Flinear- | types&data=02%7C01%7Csimonpj%40microsoft.com%7C0f0fa7d2181b498882bd08d | 4bfc0b5c1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636344281789392 | 239&sdata=IGDxDD1q%2BxTRK%2FFwS0C%2BsDEpwFzbzHja4sF3twlF55c%3D&reserve | d=0 | | Best, | -- | Mathieu Boespflug | Founder at | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftweag. | io&data=02%7C01%7Csimonpj%40microsoft.com%7C0f0fa7d2181b498882bd08d4bf | c0b5c1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636344281789392239 | &sdata=qXdzC81GzESKMHKCykOyM75XrPRbFL8edpsxKKv5VVQ%3D&reserved=0. | | | On 30 June 2017 at 15:49, Wolfgang Jeltsch | wrote: | > Hi! | > | > The blog post on | > | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fblog.t | > weag.io%2Fposts%2F2017-03-13-linear- | types.html&data=02%7C01%7Csimonpj% | > | 40microsoft.com%7C0f0fa7d2181b498882bd08d4bfc0b5c1%7C72f988bf86f141af9 | > | 1ab2d7cd011db47%7C1%7C0%7C636344281789392239&sdata=i8wFqX5an5LyuBKQ5Jk | > 2q8jUQdb62l72wOj9OX1OoK0%3D&reserved=0 | > 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 | > | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h | > askell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc- | devs&data=02%7C01%7Csi | > | monpj%40microsoft.com%7C0f0fa7d2181b498882bd08d4bfc0b5c1%7C72f988bf86f | > | 141af91ab2d7cd011db47%7C1%7C0%7C636344281789392239&sdata=5MKuM59nRrrjm | > MPMY9%2BPvsR1%2BBAPHDExiCbU%2FlckuGg%3D&reserved=0 | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h | askell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc- | devs&data=02%7C01%7Csimonpj%40microsoft.com%7C0f0fa7d2181b498882bd08d4 | bfc0b5c1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6363442817893922 | 39&sdata=5MKuM59nRrrjmMPMY9%2BPvsR1%2BBAPHDExiCbU%2FlckuGg%3D&reserved | =0

Simon Peyton Jones

2:40 p.m.

Wolfgang It'd be very interesting to know more about your use-case. Why do you want linear types? Simon | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of | Wolfgang Jeltsch | Sent: 30 June 2017 14:49 | To: ghc-devs@haskell.org | Subject: Which stable GHC release is expected to have support for | linear types? | | 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

3101

Age (days ago)

3101

Last active (days ago)

List overview

Download

8 comments

3 participants

participants (3)

Boespflug, Mathieu
Simon Peyton Jones
Wolfgang Jeltsch

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

tags

participants (3)