Stable name equality

David Feuer david.feuer at
Sun Aug 19 17:53:18 UTC 2018

eqStableName# is not currently defined as pointer equality. Is there some
reason for this? My understanding is that there is a one-to-one
correspondence between stable name objects and active stable name table
entries, so pointer equality should be sufficient. Am I missing something?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list