#15920: Implement a flag which disables safe Haskell -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: high | Milestone: 8.8.1 Component: Compiler | Version: 8.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D5360 Wiki Page: | -------------------------------------+------------------------------------- Changes (by mpickering): * priority: normal => high * differential: => Phab:D5360 * milestone: 8.6.3 => 8.8.1 Comment: See D5360 - https://phabricator.haskell.org/D5360 I'm blocked without this fix. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15920#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#15920: Implement a flag which disables safe Haskell -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: high | Milestone: 8.8.1 Component: Compiler | Version: 8.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D5360 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari ): In [changeset:"45e98f64e82f6ff16dc3e437c3031b9d315f1313/ghc" 45e98f64/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="45e98f64e82f6ff16dc3e437c3031b9d315f1313" Add -fno-safe-haskell flag This flag can be set to turn off the Safe Haskell checks. Whether a module is marked Safe/Unsafe/Trustworthy is ignored when this flag to set. Reviewers: bgamari, tdammers Reviewed By: tdammers Subscribers: rwbarton, carter GHC Trac Issues: #15920 Differential Revision: https://phabricator.haskell.org/D5360 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15920#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#15920: Implement a flag which disables safe Haskell -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: closed Priority: high | Milestone: 8.8.1 Component: Compiler | Version: 8.6.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D5360 Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): I know it's "too late", but this strikes me as something that should get more visibility. With the feature requested here, it is now possible to compile a module with `{-# LANGUAGE Safe #-}` in it but that uses `unsafeCoerce`. The fact that this happens might be buried in a `.cabal` file or even more obfuscated. While I certainly recognize why Matt wanted this, and I see no reasonable alternative, I do think that this begs the larger question of what guarantees we can expect from a module with `{-# LANGUAGE Safe #-}` in it. I think the best course would be to make a post-hoc ghc-proposal to seek community input on the design here. I don't advocate reverting the patch -- I see how you can be quite blocked without this -- but I still want to have a larger conversation about the design goals here. Do you agree? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15920#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler