#14204: GHC bug - makeStatic: Unresolved static form at line 13, column 14. -------------------------------------+------------------------------------- Reporter: jchia | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: Component: Template Haskell | Version: 8.2.1 Resolution: | Keywords: | StaticPointers Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3931 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ryan Scott <ryan.gl.scott@…>): In [changeset:"9ff9c35895ecc072f289c93addd1faad884bf122/ghc" 9ff9c35/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="9ff9c35895ecc072f289c93addd1faad884bf122" Check if -XStaticPointers is enabled when renaming static expressions Summary: Trying to use `static` expressions without the `-XStaticPointers` extension enabled can lead to runtime errors. Normally, such a situation isn't possible, but Template Haskell provides a backdoor that allows it to happen, as shown in #14204. To prevent this, we ensure that `-XStaticPointers` is enabled when renaming `static` expressions. Test Plan: make test TEST=T14204 Reviewers: facundominguez, austin, bgamari, simonpj Reviewed By: facundominguez, simonpj Subscribers: simonpj, rwbarton, thomie GHC Trac Issues: #14204 Differential Revision: https://phabricator.haskell.org/D3931 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14204#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler