On Sat, Dec 4, 2010 at 2:08 PM, Serguey Zefirov <sergu...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe