Skip to content
  • Ryan Scott's avatar
    Check if -XStaticPointers is enabled when renaming static expressions · 9ff9c358
    Ryan Scott authored
    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
    9ff9c358