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