29 Jul
2017
29 Jul
'17
10:13 a.m.
On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari
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 allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net