[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:D119   |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Here is the state of play on `StaticPtr`, as I understand it today, is
 this:

  * [https://ghc.haskell.org/trac/ghc/blog/simonpj/StaticPointers My blog
 post] represents, I believe, a consensus.

  * In that blog post, Plan A requires some support from
 `Typable`/`TypeRep`. A new wiki page [wiki:Typeable] describes a design to
 do exactly that.  This will be new to most of you; take a look.

  * The [wiki:StaticPointers] wiki page is out of date; Matthieu and
 Facundo are planning to update it

 None of this amounts to a full Plan; but it does represent progress.  I
 think Matthieu and Facundo are the main driving forces.  I'm hoping that
 you (perhaps with help from others) will

  * work through the proposed design a bit more, to check that it does what
 you need;

  * develop a plan for how we can more from where we are to the new
 glorious story with minimum disruption

  * develop an implementation

 Simon

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