GHC staus

[Richard Eisenberg]

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.

Richard

> On Sep 3, 2017, at 3:52 PM, Boespflug, Mathieu <m at tweag.io> 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 http://tweag.io.
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs