Dear Haskellers,

As some of you may have seen if you have me in one of your circles, I'm working on a webapp where you paste haskell code and get the GHC Core for it in return. This is all going pretty smoothly, except for one thing. 

I must forbid the use of Template Haskell (which allows arbitrary I/O at compile time) and some other nasty extensions (ability to call out to other binaries -- preprocessors and the likes -- among other things). This would be ideal: http://hackage.haskell.org/trac/ghc/wiki/SafeHaskell/SafeCompilation -- but I haven't seen anything about it in HEAD nor in the last releases.

How would you guys go about doing this?

Thanks for taking some time for a fellow haskeller.
Shared publiclyView activity