[GHC] #10793: Incorrect blocked on MVar detection

[GHC]

#10793: Incorrect blocked on MVar detection
-------------------------------------+-------------------------------------
        Reporter:  NeilMitchell      |                Owner:  simonmar
            Type:  bug               |               Status:  closed
        Priority:  normal            |            Milestone:
       Component:  Runtime System    |              Version:  7.10.1
      Resolution:  wontfix           |             Keywords:
Operating System:  Windows           |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by NeilMitchell):

 * cc: simonmar (added)


Comment:

 That all makes sense. From my perspective, NonTermination and
 BlockedIndefinitelyOnMVar are separate analysis passes (which as an
 implementation detail you have implemented in one go), and when viewed
 that way, having the first analysis raise the exceptions first seems quite
 reasonable.

 For info, I have a workaround in my case - catch the blocked exception,
 sleep for a second, then retry and see if the MVar is now filled. It's
 ugly (particularly the 1s sleep), but it works.

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