#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