On Sat, May 26, 2007 at 10:59:10AM +0100, Andrew Coppin wrote:
> However, when you consider that the result type could be "IO ()" or "IO
> String" or "IO [Either (Maybe Int, (String, Bool)) [Either (Int ->
> String) (Complex Integer)]]", and the expression itself may well contain
> the "::" sequence... you see we have a nontrivial parsing task here!
> (Get the parsing wrong and somebody might be able to do Evil Things to
> the box.)
I think the easiest way to handle this would be to use the module
system. just write a custom prelude that exports everything but 'IO' and
don't allow arbitrary 'imports'.
John
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
