[GHC] #7015: Add support for 'static'

[GHC]

#7015: Add support for 'static'
-------------------------------------+-------------------------------------
              Reporter:  edsko       |            Owner:
                  Type:  feature     |           Status:  patch
  request                            |        Milestone:  7.10.1
              Priority:  normal      |          Version:  7.4.2
             Component:  Compiler    |         Keywords:
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:              |  Related Tickets:
  None/Unknown                       |
             Test Case:              |
              Blocking:              |
Differential Revisions:  Phab:D550   |
-------------------------------------+-------------------------------------

Comment (by Austin Seipp <austin@…>):

 In [changeset:"fc45f32491313d2a44e72d8d59cdf95b1660189d/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="fc45f32491313d2a44e72d8d59cdf95b1660189d"
 Implement -XStaticValues

 Summary:
 As proposed in [1], this extension introduces a new syntactic form
 `static e`, where `e :: a` can be any closed expression. The static form
 produces a value of type `StaticPtr a`, which works as a reference that
 programs can "dereference" to get the value of `e` back. References are
 like `Ptr`s, except that they are stable across invocations of a
 program.

 The relevant wiki pages are [2, 3], which describe the motivation/ideas
 and implementation plan respectively.

 [1] Jeff Epstein, Andrew P. Black, and Simon Peyton-Jones. Towards
 Haskell in the cloud. SIGPLAN Not., 46(12):118–129, September 2011. ISSN
 0362-1340.
 [2] https://ghc.haskell.org/trac/ghc/wiki/StaticPointers
 [3]
 https://ghc.haskell.org/trac/ghc/wiki/StaticPointers/ImplementationPlan

 Authored-by: Facundo Domínguez <facundo.dominguez at tweag.io>
 Authored-by: Mathieu Boespflug <m at tweag.io>
 Authored-by: Alexander Vershilov <alexander.vershilov at tweag.io>

 Test Plan: `./validate`

 Reviewers: hvr, simonmar, simonpj, austin

 Reviewed By: simonpj, austin

 Subscribers: qnikst, bgamari, mboes, carter, thomie, goldfire

 Differential Revision: https://phabricator.haskell.org/D550

 GHC Trac Issues: #7015
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:38>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler