SafeHaskell vs TemplateHaskell

Erik de Castro Lopo mle+hs at mega-nerd.com
Tue Oct 4 07:28:27 UTC 2016


Hi all,

I tried to fix trac ticket #12511 (template-haskell's Language.Haskell.Syntax
module should be Trustworthy) but in doing so I began to think this is actually
a bad idea. Specifically, I suspect its actually possible to craft something
using TH that bypasses the guarantees that Safe is supposed to ensure.

Comments?

Erik
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/


More information about the ghc-devs mailing list