eqType modulo associated types?

Simon Peyton Jones simonpj at microsoft.com
Mon Sep 16 08:30:54 UTC 2019


Can you be more explicit?

I think you are referring to Type.eqType in GHC itself?

I think you might want to apply FamInstEnv.normaliseType first.

Simon

From: ghc-devs <ghc-devs-bounces at haskell.org> On Behalf Of Conal Elliott
Sent: 16 September 2019 02:38
To: ghc-devs at haskell.org
Subject: eqType modulo associated types?

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190916/d8142838/attachment.html>


More information about the ghc-devs mailing list