GHC staus

Richard Eisenberg rae at
Sun Sep 3 20:24:22 UTC 2017

Might implication constraints make it in time for 8.4?

And I believe two of Stephanie's students (with some guidance from yours truly) are working on visible kind application and visible type patterns, respectively. But I have no idea about the timeline.

I'm not personally planning anything new and shiny. More bugfixes. Finally fixing #8095 (removing coercions).

I'm toying with the idea of getting underway at implementing a dependent Core language, but it certainly won't make it for 8.4.


> On Sep 3, 2017, at 3:52 PM, Boespflug, Mathieu <m at> wrote:
> Hi George,
>>> Currently it is looking like 8.4.1 will be another cleanup release.
>>> The only item I can think of beyond those listed on the status page is
>>> the possibility of progress on #8809.
>> I believe there was a post on the Tweag IO blog suggesting linear types work
>> might make 8.4.1. If not true it might be worth saying this is coming post
>> 8.4.1 but I guess that's true of lots of things.
> That would depend on several things:
> 1. the target date for GHC 8.4. Major releases used to be spaced by
> about a year in between them. But there has been discussion of
> substantially shorter release cycles. Ben, has a target date for GHC
> 8.4 been set yet?
> 2. whether -XLinearTypes as proposed (it hasn't yet!) gets accepted by
> the GHC proposals committee.
> 3. whether, once the branch is ready, it passes review and the release
> manager deems the branch stable enough to be merged into the next
> release branch.
> Great to see interest regarding this in-development language extension!
> Best,
> --
> Mathieu Boespflug
> Founder at
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

More information about the ghc-devs mailing list