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