GHC 8.0 feature freeze imminent

[Boespflug, Mathieu]

Hi Ben,

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
particular issue.

--
Mathieu Boespflug
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.
>
> Cheers,
>
> - Ben
>
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151217/e0356f57/attachment-0001.html>