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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
