#10826: [Security] Safe Haskell can be bypassed via annotations -------------------------------------+------------------------------------- Reporter: spinda | Owner: Type: bug | Status: new 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: -------------------------------------+------------------------------------- Comment (by goldfire): No reason to install a workaround if we can just fix the problem. But, I must ask: is it possible ever to inspect annotations from Safe Haskell? I think probably not within Haskell, but perhaps someone wants to read .hi files (do these have annotations?) after they're compiled via Safe Haskell. Is this correct? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10826#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler