Non-exhaustive patterns in case

Claude Heiland-Allen claude at goto10.org
Fri Apr 27 04:43:02 BST 2012


Greetings,

I compiled my TestSuite module containing some prop_erties and

 > main = print =<< $quickCheckAll

I run it and hit Ctrl-C to abort a slow test, but the program aborts at 
the end with an exception:

TestSuite: Test/QuickCheck/All.hs:(118,14)-(121,36): Non-exhaustive 
patterns in case

 From a cursory glance it looks like the missing pattern is GaveUp{}

I seem to be using the latest released QuickCheck

$ cabal list quickcheck
* QuickCheck
     Synopsis: Automatic testing of Haskell programs
     Default available version: 2.4.2
     Installed versions: 2.4.2
     Homepage: http://code.haskell.org/QuickCheck
     License:  BSD3

but this code doesn't seem to have changed in the devel repository:

http://code.haskell.org/QuickCheck/devel/Test/QuickCheck/

Thanks,


Claude



More information about the QuickCheck mailing list