proposal: add 'unsafeCoerce'

Neil Mitchell ndmitchell at
Sat Nov 11 04:54:20 EST 2006


> isn't it _much_ better to use Virtual Machine to disallow bad code?
> may be yhc may provide such VM?

It could do with relative ease - just add a -safe flag and disallow IO
in the interpretter. You could even keep the IO monad just not perform
the actual IO effects.



More information about the Libraries mailing list