[GHC] #13611: Segfault due to levity polymorphism of mkWeak#

[GHC]

#13611: Segfault due to levity polymorphism of mkWeak#
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.2.1
       Component:  Compiler          |              Version:  8.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):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonmar):

 Duplicating the primop is an ugly solution to something that isn't really
 a problem IMO.  There are lots of ways to segfault using primops!  We
 should just document how to use them safely.

 If we could fix the type system to give an accurate type to this then
 fine, but otherwise I suggest we just improve the documentation.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13611#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler