Brandon Allbery <[email protected]> writes: > On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari <[email protected]> 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
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
