Hi David, On Fri, Nov 09, 2012 at 04:34:20PM -0800, David Terei wrote: > > + Safe Haskell, however, <emphasis>does not offer</emphasis> compilation > + safety.
Is this a bug? A few lines lower down the docs say that "Compiling and executing untrusted code" is one of the two use cases for Safe Haskell. Without knowing much about it, there are two things that I would hope that Safe Haskell could do: * Provide a way to safely compile unknown code. For example, when making a change to GHC or base, one might want to compile all packages on hackage before and after the change. * Provide a way to safely evaluate unknown code. For example, lambdabot and http://tryhaskell.org/ would like to be able to take an arbitrary expression and evaluate it. (you could imagine similar systems which could take modules rather than mere expressions). In order to do this, we'd first have to compile the code. Currently it looks like, while a lot of the necessary machinery for these use cases may now exist in Safe Haskell, neither is actually possible? Thanks Ian _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
