Re: SafeHaskell vs TemplateHaskell

Hi Erik, You're right that Template Haskell violates Safe Haskell guarantees, but that should be independent of the Language.Haskell.TH.Syntax module. The problem is the -XTemplateHaskell extension, not the module. So I think labeling the module Trustworthy is OK. Richard

On Oct 4, 2016, at 3:28 AM, Erik de Castro Lopo wrote:

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/ _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs