[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