<div dir="ltr">Thanks!<div><br></div><div>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..</div><div><br></div><div>Cheers,</div><div><br></div><div>-Levent.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Jul 29, 2017 at 9:06 AM, Ben Gamari <span dir="ltr"><<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Brandon Allbery <<a href="mailto:allbery.b@gmail.com">allbery.b@gmail.com</a>> writes:<br>
<br>
> On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari <<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</a>> wrote:<br>
><br>
>> Hmm. I am unable to reproduce this,<br>
>><br>
>>     $ ghci<br>
>>     λ> import Type.Reflection<br>
>>     λ> let tc = typeRepTyCon (typeRep @Int)<br>
>>     λ> tc == tc<br>
>>     True<br>
>><br>
>> Does that work for you?<br>
>><br>
><br>
> Maybe I'm missing something, but doesn't that only test Eq, not Ord?<br>
><br>
</span>Oh dear, I somehow understood that you were referring to Typeable's<br>
TyCon, not the ghc library's TyCon. Ignore my message.<br>
<br>
Indeed the TyCon Ord instance is gone to help enforce determinism within<br>
GHC. If you need a map use UniqFM.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br></div>