#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