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@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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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@haskell.org> On Behalf Of Conal Elliott Sent: 16 September 2019 02:38 To: ghc-devs@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