ghc-7.10.0 type inference regression when faking injective type families

adam vogt vogt.adam at gmail.com
Tue Jan 20 16:42:41 UTC 2015


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


More information about the Glasgow-haskell-users mailing list