SafeHaskell vs TemplateHaskell

Erik de Castro Lopo mle+hs at
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.


Erik de Castro Lopo

More information about the ghc-devs mailing list