#14090: Static pointers are not being registered under certain conditions -------------------------------------+------------------------------------- Reporter: mnislaih | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3843 Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Why do you say
This is a serious regression
After all, if no one mentions a static expression then it's dead isn't it? I didn't even know about `staticPtrKeys`! The [http://downloads.haskell.org/~ghc/master/users-guide/glasgow_exts.html #static-pointers user manual section] does not mention it. Where are all the functions available on static pointers defined? Facundo has put a lot of work into static pointers, and I'm pretty sure that some of it is not reflected in this section. E.g. the user manual doesn't even mention the type `StaticKey`. This is worth fixing! It's not a bug if the specification (i.e. the user manual) doesn't claim it is so. Returning to the current topic, suppose we have {{{ foo = ...lots of code...(static reverse)....lots more code... }}} do you really want that `(static reverse)` to be accessible to `staticPtrKeys`? Why? How would you use it? I'm a bit stumped. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14090#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler