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

[GHC]

#7015: Add support for 'static'
-------------------------------------+-------------------------------------
              Reporter:  edsko       |            Owner:
                  Type:  feature     |           Status:  new
  request                            |        Milestone:  7.12.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,  |
  Phab:D550                          |
-------------------------------------+-------------------------------------

Comment (by mboes):

 Thanks for landing this! As far as I know all features that were requested
 as part of the GHC 7.10 milestone according to
 [wiki:StaticPointers/ImplementationPlan] have been implemented and all
 issues raised by the reviewers addressed. Seeing as this has been merged
 by now, perhaps it would make sense to go for the latter option, namely
 track future improvements through separate tickets?

 The major future improvement I see is this:

 * Store (higher-order) `TypeRep`s in the SPT and check them upon pointer
 lookups, in order to reduce the size of trusted base that guarantees type
 safety.

 That improvement is not really possible without switching to a new API for
 `Data.Typeable`, as outlined by Simon PJ [wiki:Typeable here], which is a
 potentially high impact change to `base`.

 I think it means two separate new tickets to track: implement type indexed
 `Data.Typeable`, add type representation checking to the SPT.

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