Re: ghc-7.10.0 type inference regression when faking injective type families

Wrongly, as it turned out. Sorry! The problem remains. On Tue, Jan 20, 2015 at 2:37 PM, David Feuer wrote:

And I've closed it as worksforme. I couldn't reproduce the problem with 7.11.20150103.

On Tue, Jan 20, 2015 at 11:42 AM, adam vogt wrote:

...

I've added it as https://ghc.haskell.org/trac/ghc/ticket/10009

On Tue, Jan 20, 2015 at 11:23 AM, Richard Eisenberg wrote:

...

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@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users