ghc-7.10.0 type inference regression when faking injective type families

[David Feuer]

Wrongly, as it turned out. Sorry! The problem remains.

On Tue, Jan 20, 2015 at 2:37 PM, David Feuer <david.feuer at gmail.com> 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 <vogt.adam at gmail.com> 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 <eir at cis.upenn.edu> 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 at haskell.org
>> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users