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

GHC ghc-devs at haskell.org
Fri Jan 29 08:59:06 UTC 2016


#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
           Keywords:                 |  Operating System:  FreeBSD
       Architecture:  x86_64         |   Type of failure:  None/Unknown
  (amd64)                            |
          Test Case:                 |        Blocked By:
  https://github.com/centromere      |
  /ghc-bug-testcase                  |
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 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.

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


More information about the ghc-tickets mailing list