<div dir="ltr">Hi Ben,<div><br></div><div>does GHC HEAD include the cleanup to the Typeable story detailed here, <a href="https://ghc.haskell.org/trac/ghc/wiki/Typeable">https://ghc.haskell.org/trac/ghc/wiki/Typeable</a>? My understanding was that this blocked on kind equalities, which was merged just recently. See this quote from that page:</div><div><br></div><div>> <span style="font-size:13px;color:rgb(0,0,0);font-family:Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif">Step 3 (allowing </span><tt style="font-size:13px;color:rgb(102,0,0);border:1px solid rgb(238,221,204);border-radius:0.25em;padding:0px 0.3em;background:rgb(250,250,250)">TypeRep</tt><span style="font-size:13px;color:rgb(0,0,0);font-family:Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif"> to be fully decomposed in a type safe way) absolutely requires kind equalities.</span></div><div class="gmail_extra"><div><div class="gmail_signature"><br></div><div class="gmail_signature">Making static pointers safe in GHC 8.0 is dependent on a solution to this particular issue.</div><div class="gmail_signature"><br></div><div class="gmail_signature">--<br>Mathieu Boespflug<br>Founder at <a href="http://tweag.io" target="_blank">http://tweag.io</a>.</div></div>
<br><div class="gmail_quote">On 14 December 2015 at 14:38, Ben Gamari <span dir="ltr"><<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello GHCers,<br>
<br>
Last Friday Richard Eisenberg's long-awaited no-kinds branch landed in<br>
`master`. Being one of the defining features of the 8.0 release, we bent<br>
the feature freeze schedule (initially slated for sometime last week) a<br>
bit to accomodate this piece of work.<br>
<br>
Now that Richard's work is in, we will set the official freeze date for<br>
Monday December 21st so that there is time to review and merge some<br>
queued work which we've been queuing for after the no-kinds merge. If<br>
you have work still outstanding then you should talk to either me or<br>
Austin ASAP if you have not done so already. We will be discussing the<br>
release schedule for 8.0 during the GHC today.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
<br>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br></div></div>