<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Sep 24, 2013 at 6:17 PM, Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvr@gnu.org" target="_blank">hvr@gnu.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":15k" style="overflow:hidden">However, I've tried integrating the new vector/primitive versions<br>
released into the GHC build (after patching up the DPH libs), but I get<br>
Core lint errors:<br></div></blockquote></div><br>No clue. For me, the new releases of primitive and vector build happily with a version of HEAD that's a day old.</div></div>