23 Dec
2010
23 Dec
'10
7:35 a.m.
On Sat, Dec 4, 2010 at 2:08 PM, Serguey Zefirov <sergueyz@gmail.com> wrote:
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