Re: 8.2.1: Ord TyCon is gone?

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 wrote:

Brandon Allbery writes:

...

On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari 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