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

 I would just like to echo comment:16: it would be REALLY great not to
 commit to a particular implementation of `unStatic` such as `dlsym()`; in
 particular the GHCJS backend should be able to have its implementation of
 the same functionality, with compatible `StaticName` serializations (if
 not downright compatible `StaticName` types). That opens up very
 interesting possibilities for pure Haskell client/server web applications.

 As a more technical point, since GHCJS does dead code elimination, there
 should be some means by which the GHCJS code generator can know which top-
 level values are the referents of `static` expressions, so it can treat
 them as live, without having to pessimistically assume that everything is
 live.

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