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 <b...@smart-cactus.org> wrote: > Brandon Allbery <allber...@gmail.com> writes: > > > On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari <b...@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 > >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs