[Haskell-cafe] Portable implementation of unsafeCoerce

[Neil Mitchell]

Hi Alfonso,

> Reading the sources of Lava (a Haskell Hardware Description DSL) I run
> into this definition ...
>
>
> unsafeCoerce :: a -> b

> Is this actually equivalent to the infamous unsafeCoerce# ?

Yes, see the comment in the haddock documentation for unsafePerformIO:

http://haskell.org/ghc/docs/latest/html/libraries/base/Foreign.html#v%3AunsafePerformIO

Thanks

Neil