GHC 8.0 feature freeze imminent

Boespflug, Mathieu m at
Thu Dec 17 10:22:35 UTC 2015

Hi Ben,

does GHC HEAD include the cleanup to the Typeable story detailed here, 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

On 14 December 2015 at 14:38, Ben Gamari <ben at> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list