ghc-7.10.0 type inference regression when faking injective type families

[Simon Peyton Jones]

Yes, I fixed it on the train. Most helpful.  Busy tomorrow but I should have a fix committed by the end of the week

Simon

| -----Original Message-----
| From: Glasgow-haskell-users [mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of Richard Eisenberg
| Sent: 20 January 2015 16:24
| To: adam vogt
| Cc: Glasgow-Haskell-Users
| Subject: Re: ghc-7.10.0 type inference regression when faking injective
| type families
| 
| After quite a bit of thought, I agree that this is a regression and that
| the original program should be accepted.
| 
| Make a bug report!
| 
| Thanks,
| Richard
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users