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?

-- 
brandon s allbery kf8nh                               sine nomine associates
allber...@gmail.com                                  ballb...@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to