eqType modulo associated types?

Sebastian Graf sgraf1337 at gmail.com
Mon Sep 16 08:30:43 UTC 2019


Hi Conal,

I've had success with `FamInstEnv.topNormaliseType` in the past. `eqType`
doesn't take `FamInstEnvs`, so I'm pretty sure it can't look through family
instances by itself.

Cheers,
Sebastian

Am Mo., 16. Sept. 2019 um 02:38 Uhr schrieb Conal Elliott <conal at conal.net>:

> It looks to me like `eqType` accounts for type synonyms but not associated
> types. Is there a variant that compares modulo associated types, or perhaps
> a type normalizing operation to apply before `eqType`?
>
> Thanks, - Conal
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190916/8f192c22/attachment.html>


More information about the ghc-devs mailing list