[GHC] #14310: Assertion triggered by STM invariant.

[GHC]

#14310: Assertion triggered by STM invariant.
----------------------------------+--------------------------------------
        Reporter:  mbw            |                Owner:  (none)
            Type:  bug            |               Status:  new
        Priority:  high           |            Milestone:  8.4.1
       Component:  Compiler       |              Version:  8.2.1
      Resolution:                 |             Keywords:
Operating System:  Linux          |         Architecture:  x86_64 (amd64)
 Type of failure:  Runtime crash  |            Test Case:
      Blocked By:                 |             Blocking:
 Related Tickets:                 |  Differential Rev(s):
       Wiki Page:                 |
----------------------------------+--------------------------------------

Comment (by bgamari):

 I mention this because I'm a bit skeptical of the assertion itself; it
 looks like it appeared a fair bit before the invariant work. If you look
 at `stg_atomically_frame` it seems pretty clear that we will end up with
 nested transactions in the normal course of checking invariants. Obviously
 there is still something wrong since the problem deadlocks without the
 debug RTS, but I'm wondering whether the assert is really pointing in the
 right direction.

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