<div dir="ltr">The bug is trigger by Maybe now being a wired-in type. See <a href="https://phabricator.haskell.org/D1208">https://phabricator.haskell.org/D1208</a> for a workaround.</div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Sep 3, 2015 at 6:13 PM, Edward Z. Yang <span dir="ltr"><<a href="mailto:ezyang@mit.edu" target="_blank">ezyang@mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It's certainly true that hsig is in flux, but it doesn't seem like<br>
injective type families should have broken this test.  I'll take a look.<br>
<br>
Edward<br>
<br>
Excerpts from Simon Peyton Jones's message of 2015-09-03 09:08:23 -0700:<br>
<div><div class="h5">> Edward<br>
><br>
> | Jan's injective type families commit is causing tcfail220 to fail, but<br>
> | that's unrelated to this ticket.<br>
><br>
> This is true.  I told Jan to commit anyway because tcfail220 is a "hsig" test, and<br>
>  a) I know that hsigs are in flux (although I am not clear about how)<br>
>  b) I don't understand them enough to fix.<br>
><br>
> So I hope it's ok to have broken this.  Jan and I can certainly help when you want to fix it.<br>
><br>
> Meanwhile would you mark it as expect-broken.  (Although I am not sure that it's worth opening a fresh ticket for it.)<br>
><br>
> thanks<br>
><br>
> Simon<br>
><br>
> | -----Original Message-----<br>
> | From: <a href="mailto:noreply@phabricator.haskell.org">noreply@phabricator.haskell.org</a><br>
> | [mailto:<a href="mailto:noreply@phabricator.haskell.org">noreply@phabricator.haskell.org</a>]<br>
> | Sent: 03 September 2015 07:11<br>
> | To: Simon Peyton Jones<br>
> | Subject: [Differential] [Commented On] D1182: Implement improved error<br>
> | messages for ambiguous type variables (#10733)<br>
> |<br>
> | KaneTW added a comment.<br>
> |<br>
> | Jan's injective type families commit is causing tcfail220 to fail, but<br>
> | that's unrelated to this ticket.<br>
> |<br>
> |<br>
> | REPOSITORY<br>
> |   rGHC Glasgow Haskell Compiler<br>
> |<br>
> | REVISION DETAIL<br>
> |   <a href="https://phabricator.haskell.org/D1182" rel="noreferrer" target="_blank">https://phabricator.haskell.org/D1182</a><br>
> |<br>
> | EMAIL PREFERENCES<br>
> |   <a href="https://phabricator.haskell.org/settings/panel/emailpreferences/" rel="noreferrer" target="_blank">https://phabricator.haskell.org/settings/panel/emailpreferences/</a><br>
> |<br>
> | To: KaneTW, simonpj, bgamari, austin<br>
> | Cc: goldfire, simonpj, thomie<br>
</div></div>--- End forwarded message ---<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<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>
</div></div></blockquote></div><br></div>