[GHC] #14204: GHC bug - makeStatic: Unresolved static form at line 13, column 14.
GHC
ghc-devs at haskell.org
Wed Sep 13 13:44:27 UTC 2017
#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
More information about the ghc-tickets
mailing list