[GHC] #14090: Static pointers are not being registered under certain conditions
GHC
ghc-devs at haskell.org
Fri Aug 18 14:15:18 UTC 2017
#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
More information about the ghc-tickets
mailing list