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