22 Dec
2010
22 Dec
'10
6:35 p.m.
On Sat, Dec 4, 2010 at 2:08 PM, Serguey Zefirov
Why TypeRep does have equality and doesn't have ordering?
It would be good to have that.
Yes, I have wanted that too. It would make maps from types to values possible/efficient. There is a very critical path in jhc that use type-indexed data structures that I have to implement a very hacky workaround for no Ord instance for TypeRep John