[GHC] #1032: Test.QuickCheck.Batch overflow in length of tests

GHC trac at galois.com
Wed Nov 29 14:43:40 EST 2006


#1032: Test.QuickCheck.Batch overflow in length of tests
---------------------------------+------------------------------------------
 Reporter:  gwright at antiope.com  |          Owner:             
     Type:  bug                  |         Status:  new        
 Priority:  normal               |      Milestone:             
Component:  Compiler             |        Version:  6.6        
 Severity:  normal               |     Resolution:             
 Keywords:                       |     Difficulty:  Easy (1 hr)
 Testcase:                       |   Architecture:  Multiple   
       Os:  Multiple             |  
---------------------------------+------------------------------------------
Comment (by thorkilnaur):

 Thanks a lot for taking the trouble to create this report. My suggestion
 for a solution would be for Test.!QuickCheck.Batch.run to simply repeat
 the request to threadDelay a suitable number of times with maximum value,
 then a residual value for the last (and possibly only) delay. In this way,
 Test.!QuickCheck.Batch.run never needs to report an error. I am a bit of
 an IO-idiot, so I cannot off-hand suggest actual !QuickCheck code, but
 this simple idea would seem worthwhile and easy to implement.

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


More information about the Glasgow-haskell-bugs mailing list