Re: [GHC] #10826: [Security] Safe Haskell can be bypassed via annotations

#10826: [Security] Safe Haskell can be bypassed via annotations -------------------------------------+------------------------------------- Reporter: spinda | Owner: kanetw Type: bug | Status: patch Priority: highest | Milestone: 7.10.3 Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC accepts | Unknown/Multiple invalid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: phab:D1226 -------------------------------------+------------------------------------- Comment (by Austin Seipp ): In [changeset:"4356dacb4a2ae29dfbd7126b25b72d89bb9db1b0/ghc" 4356dac/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="4356dacb4a2ae29dfbd7126b25b72d89bb9db1b0" Forbid annotations when Safe Haskell safe mode is enabled. For now, this fails compliation immediately with an error. If desired, this can be a warning that annotations in Safe Haskell are ignored. Signed-off-by: David Kraeutmann Reviewed By: goldfire, austin Differential Revision: https://phabricator.haskell.org/D1226 GHC Trac Issues: #10826 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10826#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler