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

3 Oct 2017

      #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'll also say that the comment right below the assertion doesn't instill
 confidence,
 {{{
                 // The ATOMICALLY_FRAME expects to be returned a
                 // result from the transaction, which it stores in the
                 // stack frame.  Hence we arrange to return a dummy
                 // result, so that the GC doesn't get upset (#3578).
                 // Perhaps a better way would be to have a different
                 // ATOMICALLY_FRAME instance for condemned
                 // transactions, but I don't fully understand the
                 // interaction with STM invariants.
 }}}

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