#9878: Static pointers in GHCi cause panic -------------------------------------+------------------------------------- Reporter: monoidal | Owner: facundo.dominguez Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: GHCi crash | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by mboes):
the universe of static forms that exist in the program is fixed at compile time and constant throughout the lifetime of the program.
BTW, the current type for `deRefStaticPtr` is borne out of this assumption. If this assumption must be dropped, then `deRefStaticPtr` must be put in the `IO` monad. That is, its type should become: {{{ deRefStaticPtr :: ... -> IO (StaticPtr a) }}} I'm not sure this is desirable. As I recall Simon PJ was also keen to keep `deRefStaticPtr` pure. So this design decision could be revised, but I for one would prefer to see how people really use the extension first. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9878#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler