eqType modulo associated types?

[Conal Elliott]

Thanks, Sebastian!  - Conal

On Mon, Sep 16, 2019 at 1:30 AM Sebastian Graf <sgraf1337 at gmail.com> wrote:

> 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/84d1d3c3/attachment.html>