<div dir="ltr"><div dir="ltr"><div>Indeed, this was a mistake and I put up a MR last night to hopefully fix it. <br></div><div><br></div><div><a href="https://gitlab.haskell.org/ghc/ghc/merge_requests/416">https://gitlab.haskell.org/ghc/ghc/merge_requests/416</a></div><div><br></div><div>Cheers,</div><div><br></div><div>Matt<br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Feb 21, 2019 at 8:40 AM Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">





<div lang="EN-GB">
<div class="gmail-m_6721273897814076034WordSection1">
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">Ben, Matthew<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">I believe that ‘master’ fails validate.  See Trac #16346.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">The question is: how did it get past CI?<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">The bug would only show up if -dcore-lint was on for libraries.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">Simon<u></u><u></u></span></p>
</div>
</div>

</blockquote></div>