I'd actually like to have an -unsafe flag which one would have to use
in order to compile a module using functions/values marked as unsafe.
Unsafety would be inherited by default, and using a compiler pragma
would avoid this inheritance (but the module would still need to be
compiled with -unsafe, just not its children.)
I tend to think of the unsafe functions as hooks into the
compiler/runtime to be used for modifying the language, not really as
part of the language itself.
Thanks,
- Cale
On 11/11/06, Neil Mitchell
Hi
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.
Thanks
Neil _______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries