proposal: add 'unsafeCoerce'

[John Meacham]

On Sun, Nov 19, 2006 at 01:30:16PM +0000, Neil Mitchell wrote:
> Yhc translates Haskell to a well-typed (using rank-2 types, but not
> explicitly typed) language. To translate this language back to Haskell
> requires type annotations (which were lost ages ago), or lots of
> unsafeCoerce, which is the significantly easier method. In practice
> the unsafeCoerce's have never gone wrong on any compiler.

This is what jhc does when compiling via ghc as well.

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈