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 <[email protected]> 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 > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
