Re: [Haskell-cafe] GHC optimizations and unsafePerformIO - Was: Data.Typeable TypeRep Ord instance.

On 13:04 Sat 01 Jan , Felipe Almeida Lessa wrote:

But, if you want to have a strang Ord instance, then why not have a strange unsafeTypeRepKey :: TypeRep -> Int?

Yes, that would be nice. But only if this really helps the compiler with optimising the code. Otherwise one could easily use unsafePerformIO. Andreas