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

[Andreas Baldeau]

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