GHC 8.0 feature freeze imminent
m at tweag.io
Thu Dec 17 10:22:35 UTC 2015
does GHC HEAD include the cleanup to the Typeable story detailed here,
https://ghc.haskell.org/trac/ghc/wiki/Typeable? My understanding was that
this blocked on kind equalities, which was merged just recently. See this
quote from that page:
> Step 3 (allowing TypeRep to be fully decomposed in a type safe way)
absolutely requires kind equalities.
Making static pointers safe in GHC 8.0 is dependent on a solution to this
Founder at http://tweag.io.
On 14 December 2015 at 14:38, Ben Gamari <ben at well-typed.com> wrote:
> Hello GHCers,
> Last Friday Richard Eisenberg's long-awaited no-kinds branch landed in
> `master`. Being one of the defining features of the 8.0 release, we bent
> the feature freeze schedule (initially slated for sometime last week) a
> bit to accomodate this piece of work.
> Now that Richard's work is in, we will set the official freeze date for
> Monday December 21st so that there is time to review and merge some
> queued work which we've been queuing for after the no-kinds merge. If
> you have work still outstanding then you should talk to either me or
> Austin ASAP if you have not done so already. We will be discussing the
> release schedule for 8.0 during the GHC today.
> - Ben
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs