eqType modulo associated types?

Conal Elliott conal at conal.net
Mon Sep 16 01:38:27 UTC 2019


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/20190915/32f56dfb/attachment.html>


More information about the ghc-devs mailing list