Thanks!

Turns out I actually needed an `Ord` instance for `(TyCon, [TyCon])`, which made using `UniqFM` rather difficult, but it wasn't hard to work around the issue by using nonDetCmpUnique function from the `Unique` module. For a side project, I think it's good enough..

Cheers,

-Levent.

On Sat, Jul 29, 2017 at 9:06 AM, Ben Gamari <ben@smart-cactus.org> wrote:
Brandon Allbery <allbery.b@gmail.com> writes:

> On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari <ben@smart-cactus.org> wrote:
>
>> Hmm. I am unable to reproduce this,
>>
>>     $ ghci
>>     λ> import Type.Reflection
>>     λ> let tc = typeRepTyCon (typeRep @Int)
>>     λ> tc == tc
>>     True
>>
>> 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.

Cheers,

- Ben

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs