[Haskell-cafe] Portable implementation of unsafeCoerce

6 Feb 2007

      Hi all,

Reading the sources of Lava (a Haskell Hardware Description DSL) I run
into this definition ...

unsafeCoerce :: a -> b
unsafeCoerce a = unsafePerformIO $
  do writeIORef ref a
     readIORef ref
 where
  ref = unsafePerformIO $
    do newIORef undefined

Is this actually equivalent to the infamous unsafeCoerce# ?

Thanks in advance,

Alfonso Acosta