[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):

 Agreed.  No way should the design mandate any particular implementation
 for `unStatic`!

 My current proposals are outlined here [blog:simonpj/StaticPointers].
 There is haze around Plan A/B/C near the end, but I'm veering towards some
 variant of Plan A.

 Simon

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