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 <[email protected]> On Behalf Of Conal Elliott Sent: 16 September 2019 02:38 To: [email protected] 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
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
