TypeLits and type families wrt. equality
eir at cis.upenn.edu
Mon Jul 27 14:38:10 UTC 2015
On Jul 27, 2015, at 9:48 AM, Simon Peyton Jones <simonpj at microsoft.com> wrote:
> Making type inference (and system FC) exploit negative info would be a Big Deal, I think.
Yes. Gabor points out a known infelicity with the interaction between closed type families and GADTs. But I agree with Simon that fixing it would indeed be a Big Deal, and not yet worth the very considerable effort required.
More information about the ghc-devs