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 <[email protected]> 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 > [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
