#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