8.2.1: Ord TyCon is gone?
ben at smart-cactus.org
Sat Jul 29 16:06:56 UTC 2017
Brandon Allbery <allbery.b at gmail.com> writes:
> On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari <ben at smart-cactus.org> wrote:
>> Hmm. I am unable to reproduce this,
>> $ ghci
>> λ> import Type.Reflection
>> λ> let tc = typeRepTyCon (typeRep @Int)
>> λ> tc == tc
>> Does that work for you?
> Maybe I'm missing something, but doesn't that only test Eq, not Ord?
Oh dear, I somehow understood that you were referring to Typeable's
TyCon, not the ghc library's TyCon. Ignore my message.
Indeed the TyCon Ord instance is gone to help enforce determinism within
GHC. If you need a map use UniqFM.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs