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