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.
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...
More information about the ghc-devs