#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