D1182: Implement improved error messages for ambiguous type variables (#10733)

[Simon Peyton Jones]

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: noreply at phabricator.haskell.org
| [mailto:noreply at phabricator.haskell.org]
| 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