[GHC] #11508: QuickCheck application hangs with concurrent read/write of Chan

[GHC]

#11508: QuickCheck application hangs with concurrent read/write of Chan
-------------------------------------+-------------------------------------
        Reporter:  orion             |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.10.3
      Resolution:                    |             Keywords:
Operating System:  FreeBSD           |         Architecture:  x86_64
                                     |  (amd64)
 Type of failure:  None/Unknown      |            Test Case:
                                     |  https://github.com/centromere/ghc-
                                     |  bug-testcase
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Description changed by orion:

@@ -29,1 +29,3 @@
- The problem is reproducible on both FreeBSD 10 and Ubuntu 15.10.
+ The problem is reproducible on both FreeBSD 10 and Ubuntu 15.10. Attached
+ is the output from truss when run against the bad version of the
+ application.

New description:

 If you configure the test case like so:

 {{{
 $ cabal configure --enable-tests -fbad
 }}}

 The QuickCheck application will hang when executed:

 {{{
 $ ./dist/build/properties/properties --quickcheck-verbose --quickcheck-
 tests 10
 10
 9
 8
 7
 6
 5
 4
 3
 2
 1
 10
 testCase
   1
     a:
 }}}

 If you compile it without the 'bad' flag, it will execute successfully.
 The problem is reproducible on both FreeBSD 10 and Ubuntu 15.10. Attached
 is the output from truss when run against the bad version of the
 application.

--

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