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

Andreas Baldeau andreas at baldeau.net
Sun Jan 2 18:31:39 CET 2011

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.


More information about the Haskell-Cafe mailing list